diff options
| -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 |