Re: title on website toc?

>>>>> Steinar Bang <>:

>>>>> Arnaud Vandyck <>:

>> It works for me (2.5.0).

> I've got 2.4.0, perhaps that's the difference?

Tried upgrading to 2.5.0 from debian unstable, but then I ran into
this
	http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=230812
which may be familiar...? ;-)