[gecode-users] html doc and the doxygen 1.5.7.1 issue

[Denys Duchier]

Just in case somebody encounters the issue:

Doxygen 1.5.7.1 introduced an erroneous change in the semantics of
"substitute" thats result in $relpath$ remaining in the doc produced
instead of being substituted by the empty string.  As a consequence, the
browser cannot find the stylesheet.

The following patch to doxygen fixes the problem:

-------------- next part --------------
A non-text attachment was scrubbed...
Name: doxygen-1.5.7.1-substitute.patch
Type: text/x-patch
Size: 656 bytes
Desc: fix it
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20081218/098d1e8e/attachment.bin>
-------------- next part --------------

Cheers,

--Denys