> On 14 Nov 2024, at 13:11, Ashutosh Bapat <[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 > 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
