diff options
-rw-r--r-- | doc/proofgeneral.1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/proofgeneral.1 b/doc/proofgeneral.1 index 817bf469..1c5066f1 100644 --- a/doc/proofgeneral.1 +++ b/doc/proofgeneral.1 @@ -7,7 +7,7 @@ .\" .TH PROOFGENERAL "1" "March 2004" "proofgeneral" "User Commands" .SH NAME -proofgeneral \- manual page for proofgeneral +proofgeneral \- launch Emacs Proof General .SH SYNOPSIS .B proofgeneral [\fIOPTION\fR] [\fIFILE\fR]... |