From 7ed8ad9d2e2dba92005e1e233323488284a63c93 Mon Sep 17 00:00:00 2001 From: Timothy Bourke Date: Sat, 18 Jun 2016 16:53:41 +0200 Subject: coq-load-path docs: norec -> nonrec (#79) --- doc/ProofGeneral.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/ProofGeneral.texi') diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 79c1e893..a0568796 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -4718,7 +4718,7 @@ forms of include options ('-I' and @code{'-R'}). An element can be - A list of the form '(rec dir path)' (where dir and path are strings) specifying a directory to be recursively mapped to the logical path @code{'path'} ('-R dir -as path'). - - A list of the form '(norec dir path)', specifying a directory + - A list of the form '(nonrec dir path)', specifying a directory to be mapped to the logical path @code{'path'} ('-I dir -as path'). @end lisp For convenience the symbol @code{'rec'} can be omitted and entries of -- cgit v1.2.3