On Tue, Nov 12, 2024 at 4:00 PM Ashutosh Bapat <ashutosh.bapat....@gmail.com> wrote: > > On Mon, Nov 11, 2024 at 10:41 PM Jacob Champion > <jacob.champ...@enterprisedb.com> wrote: > > > > On Mon, Nov 11, 2024 at 7:50 AM Andres Freund <and...@anarazel.de> 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
