author | Jonathan Nieder <jrnieder@gmail.com> | |
Fri, 25 Feb 2011 07:22:12 +0000 (01:22 -0600) | ||
committer | Junio C Hamano <gitster@pobox.com> | |
Thu, 10 Mar 2011 07:52:52 +0000 (23:52 -0800) | ||
commit | 92a684b916edf9e0f4f7962865e62ff71a988445 | |
tree | 42f495829a2f748b16bbbbdb76db63ed31b5adef | tree | snapshot |
parent | cd5513a7168915b31bb5747216473b618c19679e | commit | diff |
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>
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 | diff | blob | history |