oldhtml-stamp (was Re: duplicate "median" entry in doc)

From: Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>
To: Fabien COELHO <coelho(at)cri(dot)ensmp(dot)fr>
Cc: Peter Eisentraut <peter(dot)eisentraut(at)2ndquadrant(dot)com>, PostgreSQL Developers <pgsql-hackers(at)postgresql(dot)org>
Subject: oldhtml-stamp (was Re: duplicate "median" entry in doc)
Date: 2017-02-16 18:41:06
Message-ID: 30225.1487270466@sss.pgh.pa.us
Views: Raw Message | Whole Thread | Download mbox | Resend email
Lists: pgsql-hackers

Fabien COELHO <coelho(at)cri(dot)ensmp(dot)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"

regards, tom lane

In response to

Browse pgsql-hackers by date

  From Date Subject
Next Message Robert Haas 2017-02-16 18:41:38 Re: GUC for cleanup indexes threshold.
Previous Message Robert Haas 2017-02-16 18:23:26 Re: Small issue in online devel documentation build