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

Fabien COELHO 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

Re: [HACKERS] duplicate "median" entry in doc

[ 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.diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile index

Re: [HACKERS] duplicate "median" entry in doc

Fabien COELHO writes: > I confirm that "oldhtml" does not generate the "see also" in head, > probably because the first termindex/primary is kept and overrides the > second somehow, which is consistent with the warning. > However, after removing the duplicate, both

Re: [HACKERS] duplicate "median" entry in doc

When trying to build the documentation there is a minor warning: collateindex.pl: duplicated index entry found: MEDIAN See https://www.postgresql.org/message-id/29262.1483053...@sss.pgh.pa.us I've been waiting for some clarification on that before attempting to fix this. In any case,

Re: [HACKERS] duplicate "median" entry in doc

Fabien COELHO writes: > When trying to build the documentation there is a minor warning: >collateindex.pl: duplicated index entry found: MEDIAN See https://www.postgresql.org/message-id/29262.1483053...@sss.pgh.pa.us I've been waiting for some clarification on that

[HACKERS] duplicate "median" entry in doc

When trying to build the documentation there is a minor warning: collateindex.pl: duplicated index entry found: MEDIAN Indeed, the "median" index term is specified twice in "syntax.sgml". The attached patch removes the warning. -- Fabien.diff --git a/doc/src/sgml/syntax.sgml