On Mon, May 23 2022, Jiang Xin wrote: > .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".
