Re: duplicate "median" entry in doc
Fabien COELHO <coelho@cri.ensmp.fr>
From: Fabien COELHO <coelho@cri.ensmp.fr>
To: Tom Lane <tgl@sss.pgh.pa.us>
Cc: PostgreSQL Developers <pgsql-hackers@postgresql.org>
Date: 2017-02-16T17:45:57Z
Lists: pgsql-hackers
Attachments
- doc-cleaner.patch (text/x-diff) patch
> [ scratches head... ] Magic:-) While testing with "oldhtml" I found that the "maintainer-clean" targets in "sgml" does not clean enough: it lacks cleaning the "oldhtml-stamp". See attached very minor fix. -- Fabien.
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