From 5509246fe0099efb13541a420191f0408a83ae5c Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 29 Feb 2004 21:24:48 +0000 Subject: Renamed file --- doc/README.documentation | 38 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) create mode 100644 doc/README.documentation (limited to 'doc/README.documentation') diff --git a/doc/README.documentation b/doc/README.documentation new file mode 100644 index 00000000..204f1c24 --- /dev/null +++ b/doc/README.documentation @@ -0,0 +1,38 @@ +Proof General Documentation +=========================== + +The distribution may include pre-built documentation for +your convenience. Otherwise you will need to run + + make info + make dvi + make pdf + make html + +according to what format you'd like. Everything is generated +from the master Texinfo files ProofGeneral.texi and PG-adapting.texi, +so you'll need the proper tools for conversion. Check Makefile.doc +for details. + +Front Image for Manual +---------------------- +If you want a front image on the printed dvi/gs manuals, you need to +have the ProofGeneral.eps file in this directory. You can download a +compressed version from + + http://proofgeneral.inf.ed.ac.uk/ProofGeneralPortrait.eps.gz + +This file is not included with the distribution because it is rather +large (1.6M). + +Instead of downloading, you may be able to generate an alternative eps +from the included ProofGeneral.jpg file using an image manipulation +program such as gimp or Imagemagick. This will give you a slightly +different (and degraded) image compared to the distributed one +mentioned above. + +Running "made dvi" will adjust the Texinfo file to make the front +page blank if there is no ProofGeneral.eps file available. + +David Aspinall. +August 2000. -- cgit v1.2.3