FYI. I imported the gendocs module from gnulib and changed the scripts in gnupdf.org to generate the online manuals using gendocs.sh.
The manuals are available in the usual location: http://www.gnupdf.org/manuals I updated the Library page of the wiki to point to the right locations. -- Jose E. Marchesi [email protected] GNU Project http://www.gnu.org
