🚀 go-pugleaf

wirth@dfki.uni-sb.de (Robert Wirth) writes:

>--
>Hello!
>I'd like to print out a .texinfo-File to a laser printer.
>But how to convert it? 
>The exact problem: I wish to print bison.texinfo of the GNU 
>bison.1.25 package. I did never printed some .texinfo-file 
>before, so I thought I had to process it using LaTeX. But this
>seems to be wrong, LaTeX ever finds some definitions in the
>texinfo.tex-file misleading. I included two versions of 
>texinfo.tex (2.145 and 2.172), but both didn't work.
>Can anybody help me?

Do

% texi2dvi bison.texinfo

and you got a dvi file.

If texi2dvi is not on your system, download 

ftp://prep.ai.mit.edu/pub/gnu/texinfo-3.11.tar.gz

and install it (configure  - make - make install as usual).
If you're low on the food-chain, you can use the --prefix flag when
calling "configure" to make a temporary installation in your home directory.
Then you can kill it with "make uninstall".

Alternatively, if a file "texinfo.tex" is available this tends to work:

% tex bison.texinfo

Unfortunately, "texi2dvi" does some preprocessing before calling "tex"
so depending on the case, the above is not guaranteed to work.

Some of these manuals are also available on the web:
  http://www.ugcs.caltech.edu/info

Elef