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