On 2/16/17 15:35, Fabien COELHO wrote:
> After some random digging, it seems that the documentation files are
> loaded from provided tarballs by a script: "tools/docs/docload.py"
> maintained in "pgweb.git". Maybe this is run from some cron.
>
> AFAICS from the script, the provided tarballs contains the generated html
> that someone/something has already generated and put somewhere. I have
> found no clear clue about who, where and when. However I would bet that
> "Magnus Hagander" and "Dave Page" know, given that they commits suggest
> that they are maintaining the site:-)
>
> The load script passes the doc through "tidy" with some options, and
> registers the pages into a database probably for django. I doubt this
> would change the ul class.
Can someone from the web site team look into this?
--
Peter Eisentraut http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services