Horton

Re: Local postgres manual

Philip Semanchuk <philip@americanefficient.com>

View thread View on postgr.es
From: Philip Semanchuk <philip@americanefficient.com>
To: Bruce Momjian <bruce@momjian.us>
Cc: Ben Hancock <lists@benghancock.com>, PostgreSQL-General <pgsql-general@lists.postgresql.org>
Date: 2023-11-03T14:06:59Z
Lists: pgsql-general 

> On Nov 3, 2023, at 9:45 AM, Bruce Momjian <bruce@momjian.us> wrote:
> 
> On Fri, Nov  3, 2023 at 09:39:46AM -0400, Philip Semanchuk wrote:
>> 
>> In addition to Bruce Momjian’s suggestion, I’ll add that you can make an HTML version of the manual from the source code. This is what I use and it works great for me.
> 
> Yes, we can do HTML too as a single file, postgres.html.  What I don't
> see is man page output for anything but the references pages, and as
> separate files.  It might be possible to convert the HTML to man format
> using something like html2man.

Yes, ISTR there’s an all-in-one-page option, but the HTML that I built is in individual pages that mirror the organization on postgresql.org which works great for me. Sorry I don’t remember the exact command I used but it was very straightforward, nothing tricky at all. Maybe as simple as `make install-docs`?


Cheers
Philip