Q: How to print .texinfo-files

Article View: comp.text.tex

Article #12218

#12218

From: Robert Wirth
Date: Sat, 14 Feb 1998 00:00

26 lines
1491 bytes

--
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?

Thanks in advance,

	Robert Wirth
-- 
--------------------------------------------------------
Robert Wirth, Hauptstrasse 316, 66740 Saarlouis, Germany
office: +49-681-302-5572 priv: +49-6831-69484 or -964570
email: wirth@dfki.de   <URL>: http://www.dfki.de/~wirth/
--------------------------------------------------------

Technical Details

Message-ID: <6c4fth$3iq$1@corp-200.dfki.uni-sb.de>

Path: arc1-ca.pugleaf.net!unknown!not-for-mail

Show Full Headers

Complete Article Headers

X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: f9e16,588f5d92f438d923,start
X-Google-Attributes: gidf9e16,public
X-Google-Thread: 10b1cb,588f5d92f438d923,start
X-Google-Attributes: gid10b1cb,public
X-Google-Thread: 1025b4,588f5d92f438d923,start
X-Google-Attributes: gid1025b4,public
From: wirth@dfki.uni-sb.de (Robert Wirth)
Subject: Q: How to print .texinfo-files
Date: 1998/02/14
Message-ID: <6c4fth$3iq$1@corp-200.dfki.uni-sb.de>
X-Deja-AN: 325075150
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Organization: DFKI - German Research Center for Artificial Intelligence
Newsgroups: comp.text.tex,de.comp.gnu,gnu.misc.discuss