summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJonathan Nieder <jrnieder@gmail.com>2011-02-25 01:22:12 -0600
committerJunio C Hamano <gitster@pobox.com>2011-03-09 23:52:52 -0800
commit92a684b916edf9e0f4f7962865e62ff71a988445 (patch)
tree42f495829a2f748b16bbbbdb76db63ed31b5adef /Makefile
parentcd5513a7168915b31bb5747216473b618c19679e (diff)
downloadgit-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--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 1cc6c6087b..749783511c 100644
--- 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 \