Fabien COELHO <coelho@cri.ensmp.fr> writes:
> While testing with "oldhtml" I found that the "maintainer-clean" targets
> in "sgml" does not clean enough: it lacks cleaning the "oldhtml-stamp".
Yeah, and .gitignore fails to ignore it, too. I'm not sure if it's
worth fixing ... Peter, what's the expected half-life of the "oldhtml"
target?
regards, tom lane