Re: doc: add missing "id" attributes to extension packaging page

Brar Piening <brar@gmx.de>

From: Brar Piening <brar@gmx.de>
To: Alvaro Herrera <alvherre@alvh.no-ip.org>
Cc: Ian Lawrence Barwick <barwick@gmail.com>, pgsql-hackers <pgsql-hackers@postgresql.org>
Date: 2022-12-06T17:59:59Z
Lists: pgsql-hackers
On 06.12.2022 at 09:38, Alvaro Herrera wrote:
> I care.  The problem last time is that we were in the middle of the last
> commitfest, so we were (or at least I was) distracted by other stuff.

Ok, thanks. That's appreciated and understood.


> Looking at the resulting psql page,
> https://pgdocs.piening.info/app-psql.html#APP-PSQL-OPTIONS-EXPANDED
> I note that the ID for the -x option is called "options-blah".  I
> understand where does this come from: it's the "expanded" bit in the
> "options" section.  However, put together it's a bit silly to have
> "options" in plural there; it would make more sense to have it be
> https://pgdocs.piening.info/app-psql.html#APP-PSQL-OPTION-EXPANDED
> (where you can read more naturally "the expanded option for psql").
> How laborious would it be to make it so?

No problem. I've already done it. Your second link should work now.


> It'll probably have some conflicts, yeah.

I've updated  and rebased my branch on current master now.


> I would welcome separate patches: one to add the IDs, another for the
> XSL/CSS stuff.  That allows us to discuss them separately.

I'll send two patches in two separate e-mails in a moment.

Regards,

Brar




Commits

  1. doc: Make HTML ids discoverable

  2. Add missing XML ID attribute

  3. postgres_fdw: Add support for parallel abort.

  4. Add missing XML ID attributes

  5. Add XML ID attributes to create_subscription.sgml.

  6. Stop recommending auto-download of DTD files, and indeed disable it.

  7. Doc: add XML ID attributes to <sectN> and <varlistentry> tags.

  8. Allow left join removals and unique joins on partitioned tables

  9. Improve GIN cost estimation