oldhtml-stamp (was Re: [HACKERS] duplicate "median" entry in doc) - Mailing list pgsql-hackers

From Tom Lane
Subject oldhtml-stamp (was Re: [HACKERS] duplicate "median" entry in doc)
Date
Msg-id 30225.1487270466@sss.pgh.pa.us
Whole thread Raw
In response to Re: [HACKERS] duplicate "median" entry in doc  (Fabien COELHO <coelho@cri.ensmp.fr>)
List pgsql-hackers
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



pgsql-hackers by date:

Previous
From: Robert Haas
Date:
Subject: Re: [HACKERS] Small issue in online devel documentation build
Next
From: Robert Haas
Date:
Subject: Re: [HACKERS] GUC for cleanup indexes threshold.