Re: [Plug] A few more developed questions....

["Jason M. Lenthe" <lenthe@mailhost.sju.edu>]

Get the texinfo source for it.  On debian you can usually find it in the
source distribution.

info files are generated from texinfo files which are nice because with one
file you can produce an online version (info) and a printed version
(dvi...ps).  Once you have the texinfo source I think you can either run it
though tex or some other program.  I've done this before, but, truth be
told, I can't remember so check the docs.

Jason

At 04:08 PM 8/4/99 -0400, you wrote:
>
>
>
>
>Is there a way to print an info file to paper?
>
>
>
>
>jason@survivalnet.com on 08/04/99 12:57:02 PM
>
>Please respond to plug@lists.nothinbut.net
>
>To:   plug@lists.nothinbut.net
>cc:    (bcc: Thomas A Burba/USVISION)
>Subject:  Re: [Plug] A few more developed questions....
>
>
>
>
>On Wed, 4 Aug 1999 Vale_Kenny@vanguard.com wrote:
>> Yes, man tar, man gunzip, more README.TXT for the compile stuff..
>> keep notes of steps.  You will quickly learn that there are a few
>combinations
>
>The man page for tar.... well... sucks. Its should have
>"Written so something happens when you type `man tar` and not much else"
>right at the top. Theres a lot of gnu tools that have really really
>bad man pages. Mostly its because a lot of gnu utils have info pages.
>Which are nicer to read, you can quickly move from section to section
>and get what you need. Its almost like navigating html. Do an
>`info tar` and see what I mean. It'd also probably be a good idea
>to do `info info` and try the tutorial so you can actually navigate. :)
>
>_______________________________________________
>Plug maillist  -  Plug@lists.nothinbut.net
>http://lists.nothinbut.net/mail/listinfo/plug
>
>
>
>
>
>
>
>
>_______________________________________________
>Plug maillist  -  Plug@lists.nothinbut.net
>http://lists.nothinbut.net/mail/listinfo/plug
> 


_______________________________________________
Plug maillist  -  Plug@lists.nothinbut.net
http://lists.nothinbut.net/mail/listinfo/plug