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
