On Tue, 16 Oct 2001, J. David Bryan wrote:
On 16 Oct 2001, at 14:47, CBFalconer wrote:
This info system is driving me nuts. I can't get from it to the printer or (preferably) to a text file.
GNU Texinfo can process the Texinfo files present in the source distribution into an HTML version of the manual, if that would help. If you have a Postscript printer, a PS version of the manual is available on the GPC Web site. There's also a version of Aladdin Ghostscript for DOS that would enable you to print the PS manual on any type of supported non- PS printer. See:
http://www.cs.wisc.edu/~ghost/
I don't use DJGPP myself, so I don't know what other option might be available to you.
If your printer is setup to print plain ascii files, then try:
makeinfo --fill-column=78 --no-headers --force -o <file>.txt <file>.texi
You will get an error message at the end which you can ignore.
Russ