> On 14 Nov 2024, at 13:11, Ashutosh Bapat <ashutosh.bapat....@gmail.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 > 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? No, doc searching on the site is implemented with FTS in the pgweb repository and would not be present in the proposal here. -- Daniel Gustafsson
