Andrew's git / gitweb.git / diff
?
i18n: "make distclean" should clean up after "make pot"
authorJonathan Nieder <jrnieder@gmail.com>
Fri, 25 Feb 2011 07:22:12 +0000 (01:22 -0600)
committerJunio C Hamano <gitster@pobox.com>
Thu, 10 Mar 2011 07:52:52 +0000 (23:52 -0800)
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>
Makefile patch | blob | history
diff --git a/Makefile b/Makefile
index 1cc6c6087b530c3b584631a3d19447a4d63f4a99..749783511c435ff40f4842b74151904cc58734f8 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -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 \