Re: System catalog documentation chapter

On Fri, Jul  8, 2022 at 12:07:45PM -0400, Bruce Momjian wrote:
> On Fri, Jul  8, 2022 at 11:49:47AM -0400, Tom Lane wrote:
> > Bruce Momjian <bruce@momjian.us> writes:
> > > Agreed. I don't want to break links into the documentation in final
> > > released versions, so head and PG15 seem wise.
> > 
> > I would not expect this to change the doc URLs for any individual
> > catalogs or views --- if it does, I won't be happy.
> 
> Good point --- I thought the chapter was in the URL, but I now see it is
> just the section heading:
> 
>     https://www.postgresql.org/docs/devel/view-pg-available-extensions.html
> 
> so I guess we can backpatch this with no issues.

Attached is a patch to accomplish this.  Its output can be seen here:

    https://momjian.us/tmp/pgsql/internals.html

-- 
  Bruce Momjian  <bruce@momjian.us>        https://momjian.us
  EDB                                      https://enterprisedb.com

  Indecision is a decision.  Inaction is an action.  Mark Batterson