On Tue, Nov 12, 2024 at 4:00 PM Ashutosh Bapat <[email protected]> wrote: > > On Mon, Nov 11, 2024 at 10:41 PM Jacob Champion > <[email protected]> wrote: > > > > On Mon, Nov 11, 2024 at 7:50 AM Andres Freund <[email protected]> wrote: > > > If you just want that we could print out a file:// url or even open it? > > > Rather > > > than an http server? > > > > +1. The coverage-html recipe is a nice example of this; just > > control-click the file: link and away you go. > > WFM.
I noticed that the documentation served by the postgresql.org site allows searching in the documentation, whereas that functionality is not available if we open HTML pages from docs directory. Would html-server provide that functionality? -- Best Wishes, Ashutosh Bapat
