I wanted to link to a recent part of the gnulib manual, but noticed the online manual is rather old:
http://www.gnu.org/software/gnulib/manual/ How was this manual generated? I may have write access to the web cvs repository, is it ok to upload an updated manual, once the way to generate it is documented? /Simon
