subsubsection links not working in PG doc

[coquser]

Hi,

in the Proof General documentation at http://proofgeneral.inf.ed.ac.uk/htmlshow.php?title=Proof+General+user+manual&file=releases%2FProofGeneral%2Fdoc%2FProofGeneral%2FProofGeneral_11.html#Multiple-File-Support the link for "Current Limitations", pointing to subsubsection 10.2.4 does not work. The other links for subsubsections do not work as well.

The text of these subsubsections is present and on http://proofgeneral.inf.ed.ac.uk/userman the link to 10.2.4 _does_ work.

If I compile the documentation myself and view it on the hard disk, the links do also work.

Bye,

Hendrik

[coquser]

The problem was in the php parsing of the doc files, which was not prepared to deal with relative URL's without host and file part (consisting solely of an anchor).