Re: [PATCH v3 6/9] po/git.pot: don't check in result of "make pot"
- From
Ævar Arnfjörð Bjarmason <avarab@gmail.com>
- Date
- May 23, 2022, 07:26 UTC
- Message-ID
- <220523.86r14kzp2t.gmgdl@evledraar.gmail.com>
- In-Reply-To
- <20220523012531.4505-7-worldhello.net@gmail.com>
On Mon, May 23 2022, Jiang Xin wrote:
Show 7 quoted lines
> .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".