11 Apr
2014
11 Apr
'14
10:27 p.m.
2014-04-12 0:15 GMT+02:00 Daniel James
On 11 April 2014 22:35, Andrzej Krzemienski
wrote: It worked!. Apparently I was using a wrong mirror or something. Your link has the right binaries. I decided to use v 1.77.1. The newer one
generate a
somewhat wrong table of contents (it is one frame nested in another).
What css file are you using? I think there was a change to the generated html that didn't work well with our css, but I fixed that a while ago.
I use the one I found in sub-module Optional (enclosed). Is there a recommended one? If so, am I supposed to copy it to sub-module Optional? Regards, &rzej