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 /diff-no-index.c | |
| 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 'diff-no-index.c')
0 files changed, 0 insertions, 0 deletions