public inbox for [email protected]  

help / color / mirror / Atom feed

From: Brar Piening <[email protected]>
To: Alvaro Herrera <[email protected]>
Cc: Ian Lawrence Barwick <[email protected]>
Cc: pgsql-hackers <[email protected]>
Subject: Re: doc: add missing "id" attributes to extension packaging page
Date: Tue, 6 Dec 2022 18:59:59 +0100
Message-ID: <[email protected]> (raw)
In-Reply-To: <[email protected]>
References: <[email protected]>

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

view thread (12+ messages)  latest in thread

reply

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Reply to all the recipients using the --to and --cc options:
  reply via email

  To: [email protected]
  Cc: [email protected], [email protected], [email protected]
  Subject: Re: doc: add missing "id" attributes to extension packaging page
  In-Reply-To: <[email protected]>

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox