diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-11-25 17:07:57 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-25 17:07:57 +0000 |
commit | b7d0d85bd997248de9dbf64a69f748a954da578f (patch) | |
tree | 67e7f7b2a2850c884e9adc8b7378ad2be1e4b784 /doc | |
parent | aa3d19548bb57af46369d0c08e007ee6456bed86 (diff) |
Comment about fonts. Fix info dir formatting
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ProofGeneral.texi | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 5d099e30..f9ae7ecf 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -3,7 +3,11 @@ @c @c $Id$ @c +@c NB: the first line of this file uses a non-standard TeXinfo +@c hack to print in Serifa fonts. It has no effect if you don't have +@c my hacked version of TeXinfo - da. @c +@c @setfilename ProofGeneral.info @settitle Proof General @setchapternewpage odd @@ -57,8 +61,8 @@ @ifinfo @format -START-INFO-DIR-ENTRY -* Proof General: (ProofGeneral). Organize your proofs with Emacs! +START-INFO-DIR-ENTRY +* Proof General: (ProofGeneral). Organize your proofs with Emacs! END-INFO-DIR-ENTRY @end format @end ifinfo |