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.
It's also possible to create a PDF version. We haven't done this so far on the web site, but will probably do after the migration to the new server. If someone wants it in can't build it themselves (make gpc.pdf if you have the GPC sources and a rather current version of pdftex), let me know ...
Frank