oldhtml-stamp (was Re: duplicate "median" entry in doc)
Tom Lane <tgl@sss.pgh.pa.us>
From: Tom Lane <tgl@sss.pgh.pa.us>
To: Fabien COELHO <coelho@cri.ensmp.fr>
Cc: Peter Eisentraut <peter.eisentraut@2ndquadrant.com>,
PostgreSQL Developers <pgsql-hackers@postgresql.org>
Date: 2017-02-16T18:41:06Z
Lists: 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
Commits
-
Doc: remove duplicate index entry.
- 4bd0f8317256 9.4.12 landed
- d993171a7aa2 9.5.7 landed
- 7ba903abb24a 9.6.3 landed
- 3b7673388da3 10.0 landed