doc in more formats

[Karl Berry]

Hi again,

It is desirable to make GNU package documentation available online in
lots of formats, not just HTML, which is all I see at
http://www.gnu.org/software/libtool/manual.html.

If you wish, you can use the gendocs.sh script to generate all the usual
formats and an index page.
http://www.gnu.org/prep/maintain/html_node/Invoking-gendocs_002esh.html

If you don't object to the idea but have other priorities for your time,
I can volunteer to do this little job.

Thanks,
Karl