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.
pgp1.texi.gz
Volume I, Essential Topics in texinfo format.
pgp2.texi.gz
Volume II, Special Topics in texinfo format.
pgp1.dvi.gz
Volume I, Essential Topics in DVI format.
pgp2.dvi.gz
Volume II, Special Topics in DVI format.