Hi, On Fri, Mar 04, 2022 at 10:23:15AM -0500, Bruce Momjian wrote: > On Fri, Mar 4, 2022 at 07:00:58PM +0530, alias wrote: > > > > I copied the html files from source code repository. > > Add a offline download link would be more friendly to beginner, I guess. > > Uh, yeah, but I don't remember ever receiving a request for this, so it > doesn't seem warranted to add a link for it.
Same here, that's the first time I hear this request. Also I'm not sure that beginner will really find it easier to locate the html page they need compared to a search in the pdf document.
