Re: [PATCH v3 6/9] po/git.pot: don't check in result of "make pot"
From: Ævar Arnfjörð Bjarmason <hidden>
Date: 2022-05-23 07:33:01
On Mon, May 23 2022, Jiang Xin wrote:
quoted hunk ↗ jump to hunk
.PHONY: pot pot: po/git.pot@@ -3319,6 +3319,7 @@ dist-doc: git$X distclean: clean $(RM) configure + $(RM) po/git.pot
I think I noted "why not add this to clean?" in an earlier round, but didn't think it through. On second thought we should do that, but the reason is that "distclean" should only clean things that you get if you do "make dist". I.e. we add "configure" to a generated tarball, but not po/git.pot, so this should just be under regular "clean", not "distclean".