[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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 


Reply to: