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 [email protected].
Back to parent