diff options
| author | Jonathan Nieder <jrnieder@gmail.com> | 2011-02-25 01:22:12 -0600 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2011-03-09 23:52:52 -0800 |
| commit | 92a684b916edf9e0f4f7962865e62ff71a988445 (patch) | |
| tree | 42f495829a2f748b16bbbbdb76db63ed31b5adef /Makefile | |
| parent | cd5513a7168915b31bb5747216473b618c19679e (diff) | |
| download | git-92a684b916edf9e0f4f7962865e62ff71a988445.tar.gz | |
i18n: "make distclean" should clean up after "make pot"
This is in "make distclean" and not "make clean" to avoid needlessly
changing the POT-Creation-Date in the following scenario:
make clean; # cleaning up after an old build
git pull
make pot; # regenerate po template if necessary
msgmerge po/my_language.po po/git.pot
Signed-off-by: Jonathan Nieder <jrnieder@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -2340,6 +2340,7 @@ dist-doc: distclean: clean $(RM) configure + $(RM) po/git.pot clean: $(RM) *.o block-sha1/*.o ppc/*.o compat/*.o compat/*/*.o xdiff/*.o vcs-svn/*.o \ |