Re: doc: add missing "id" attributes to extension packaging page
От
Karl O. Pinc
Тема
Re: doc: add missing "id" attributes to extension packaging page
Дата
Msg-id
20230102145354.6857a730@slate.karlpinc.com
Ответ на
Список
Дерево обсуждения
doc: add missing "id" attributes to extension packaging page Ian Lawrence Barwick <barwick@gmail.com>
Re: doc: add missing "id" attributes to extension packaging page Alvaro Herrera <alvherre@alvh.no-ip.org>
Re: doc: add missing "id" attributes to extension packaging page Ian Lawrence Barwick <barwick@gmail.com>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
Re: doc: add missing "id" attributes to extension packaging page Alvaro Herrera <alvherre@alvh.no-ip.org>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com>
Re: doc: add missing "id" attributes to extension packaging page vignesh C <vignesh21@gmail.com>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com>
Re: doc: add missing "id" attributes to extension packaging page vignesh C <vignesh21@gmail.com>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
Re: doc: add missing "id" attributes to extension packaging page Tom Lane <tgl@sss.pgh.pa.us>
Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com>
Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
Re: doc: add missing "id" attributes to extension packaging page Tom Lane <tgl@sss.pgh.pa.us>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
Re: doc: add missing "id" attributes to extension packaging page Tom Lane <tgl@sss.pgh.pa.us>
Re: doc: add missing "id" attributes to extension packaging page Peter Eisentraut <peter.eisentraut@enterprisedb.com>
Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com>
Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com>
Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com>
Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com>
Re: doc: add missing "id" attributes to extension packaging page Alvaro Herrera <alvherre@alvh.no-ip.org>
Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
Re: doc: add missing "id" attributes to extension packaging page Peter Eisentraut <peter.eisentraut@enterprisedb.com>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com>
Re: doc: add missing "id" attributes to extension packaging page Maciek Sakrejda <m.sakrejda@gmail.com>
Re: doc: add missing "id" attributes to extension packaging page Peter Eisentraut <peter.eisentraut@enterprisedb.com>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com>
Re: doc: add missing "id" attributes to extension packaging page Peter Eisentraut <peter.eisentraut@enterprisedb.com>
Re: doc: add missing "id" attributes to extension packaging page Dagfinn Ilmari Mannsåker <ilmari@ilmari.org>
Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com>
Re: doc: add missing "id" attributes to extension packaging page Alvaro Herrera <alvherre@alvh.no-ip.org>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com>
Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
Re: doc: add missing "id" attributes to extension packaging page Peter Smith <smithpb2250@gmail.com>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
RE: doc: add missing "id" attributes to extension packaging page "Hayato Kuroda (Fujitsu)" <kuroda.hayato@fujitsu.com>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
Re: doc: add missing "id" attributes to extension packaging page Peter Eisentraut <peter.eisentraut@enterprisedb.com>
RE: doc: add missing "id" attributes to extension packaging page "Hayato Kuroda (Fujitsu)" <kuroda.hayato@fujitsu.com>
Re: doc: add missing "id" attributes to extension packaging page Corey Huinker <corey.huinker@gmail.com>
Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com>
Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com>
Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
Re: doc: add missing "id" attributes to extension packaging page Alvaro Herrera <alvherre@alvh.no-ip.org>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com>
Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
Re: doc: add missing "id" attributes to extension packaging page Andres Freund <andres@anarazel.de>
Re: doc: add missing "id" attributes to extension packaging page "Karl O. Pinc" <kop@karlpinc.com>
Re: doc: add missing "id" attributes to extension packaging page Andres Freund <andres@anarazel.de>
Re: doc: add missing "id" attributes to extension packaging page "Gregory Stark (as CFM)" <stark.cfm@gmail.com>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
Re: doc: add missing "id" attributes to extension packaging page Brar Piening <brar@gmx.de>
Hello,
Attached is a new patch (add_html_ids_v2.patch), almost identical to
the old but modified so that it applies. There were 2 changes (made
to sgml/plpgsql.stml and sgml/ddl.sgml) that prevented the patch from
applying. (In ddl.sgml the VACUUM and ANALYZE privileges were
combined into MAINTAIN. In plpgsql.sgml an id attribute was added.)
If the author will look over my version of the patch I believe it can
be approved and sent on to the committers.
What follows is my notes for the committers:
The ids look reasonably consistent, with "nesting" so that ids of
sub-sections mostly have (at least some of) the id of the parent
section as a prefix. There are a few inconsistencies. A sect3 has
id="collation-managing-standard" and sect4 has
id="collation-managing-predefined". There is a slight possibility of
conflict, as in this case sect4 ids omit the last word of the section
3 ids it is possible to have conflicts with the ids of the sect4s in
other sect3s of the same file. I don't have a problem with this.
(I see establishing strict standards for id values as excessive.)
The above was the only case I noticed. I also tried counting words,
"-" delimited, in ids and found no cases with fewer words than the
number of section levels. Here's the hack:
egrep '^\+ *
Free Software: "You don't pay back, you pay forward."
-- Robert A. Heinlein
В списке pgsql-hackers по дате отправления
От: Maciek Sakrejda
Дата: