The .texi files may be processed to generate output suitable either for
reading with GNU Info or for typesetting with TeX. The .dvi files have
been pre-processed by TeX into device-independent DVI format.
Comments, etc to ftpmaster@mail.pgp.net.
Back to parent