Re: Local postgres manual

> 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
organizationon 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