Manuals online

[Werner Koch]

Hi,

In case you need access to GnuPG etc. manuals, you may now go to
http://www.gnupg.org/documentation/manuals/ . Not very pretty yet and
not integrated in the website but it is a start.  Publishing the
latest manuals is now a mere "make online" ;-)

I still need to figure out how to convince makeinfo to insert a proper
css link and not to inline its own css stuff.

Salam-Shalom,

   Werner