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.)
thanks, sven