Re: Small issue in online devel documentation build

>> My point is that some xsl file should be fixed somewhere, probably, to avoid
>> that.
>
> Yeah, I noticed this too, and I think Ashutosh also complained about
> it on another thread. It's pretty annoying - I hope somebody can
> figure out the cause and fix it. It seems to be only affecting the
> development docs.

My 0.02€:

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.

--
Fabien.