diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-11-26 12:38:20 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-26 12:38:20 +0000 |
commit | b29462f75d3d3dc361c06b1568d81662f3af979a (patch) | |
tree | dc7d4fd0fc806fda55ab59bd9e1ed1e07da73e31 /doc/README | |
parent | 01b0a68166decdb7b85c8b302f902e471a1f8178 (diff) |
Renamed file
Diffstat (limited to 'doc/README')
-rw-r--r-- | doc/README | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/doc/README b/doc/README deleted file mode 100644 index 94800146..00000000 --- a/doc/README +++ /dev/null @@ -1,38 +0,0 @@ -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 file ProofGeneral.texi, so you'll -need the proper tools for conversion. Check the Makefile -for details. - -Front Image for Manual ----------------------- -If you want a front image on the printed dvi/gs manual, you need to -have the ProofGeneral.eps file in this directory. You can download a -compressed version from - -http://zermelo.dcs.ed.ac.uk/~proofgen/ProofGeneral/doc/ProofGeneral.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 1999. |