From cc5d0913b644a9d269773c96462f7563a9a1ae03 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Mon, 1 Mar 2004 11:28:10 +0000
Subject: Doc unrecognized option behaviour

---
 doc/proofgeneral.1 | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'doc/proofgeneral.1')

diff --git a/doc/proofgeneral.1 b/doc/proofgeneral.1
index 1c5066f1..3d2a5b63 100644
--- a/doc/proofgeneral.1
+++ b/doc/proofgeneral.1
@@ -29,6 +29,8 @@ show this help and exit
 .TP
 \fB\-v\fR, \fB\-\-version\fR
 output version information and exit
+.TP
+Unrecognized options are passed to Emacs, along with file names.
 .SH EXAMPLES
 .TP
 proofgeneral Example.thy
-- 
cgit v1.2.3