16 Oct
2001
16 Oct
'01
8:18 p.m.
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.
-- Dave