Subject: requesting info page (and pdf) doc releases

From: Sebastian Pipping <[email-masked]>
Date: Thu, 22 Oct 2009 22:41:06 +0200

hi there!

would be nice to get info pages (and pdf) doc releases in addition to
html and man pages.  i imagine such a change to the release machine
should not be too hard to integrate.  we could use it in gentoo.

thanks,

sebastian