On Wed, 12 Aug 2009, Sven Schreiber wrote:
As always, many thanks to the developers!
One minuscule issue: Doing (on Linux)
./configure --enable-build-doc
on an updated cvs checkout and then
make pdfdocs
works fine, but the date of the documents is given as November 2008.
(I'm pretty sure it's the current version nevertheless, because
'mreverse' is included.)
Ah, there's a little unresolved issue with the "make" rules here.
If you delete the generated file date.tex in the tex directory
and recompile you'll get an up-to-date time stamp.
I'll have to think about how to do that better.
Allin.