---------- Forwarded message ---------- Date: Fri, 11 Sep 1998 17:24:34 +0200 From: [EMAIL PROTECTED] To: [EMAIL PROTECTED] Cc: debian-devel@lists.debian.org Subject: Re: Unidentified subject!
On Fri, Sep 11, 1998 at 05:18:18PM +0200, Anthony C. Zboralski wrote: > hey is there an easy way to print info manuals? No. In order to have acceptable quality output, you have to use the TeXinfo source files. > for manuals like libg++ i am not going to print everypages manually; maybe > i am stupid and there is an easier way to do this but when i need to print > a texinfo manual, i have to grab the package source, run configure and > make dvi. You could try getting policy extended to have .texi sources (in a form suitable for texi2dvi) included in the package (or in a separate documentation package) - propose it on debian-policy@lists.debian.org Ray -- ART A friend of mine in Tulsa, Okla., when I was about eleven years old. I'd be interested to hear from him. There are so many pseudos around taking his name in vain. - The Hipcrime Vocab by Chad C. Mulligan