From be7deda997084f2fdd1f39db25da1e93d6ca1579 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <courtieu@lri.fr>
Date: Tue, 19 Jun 2012 13:58:48 +0000
Subject: Completed documentation for file variables.

---
 doc/ProofGeneral.texi | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'doc/ProofGeneral.texi')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index b998b70c..f0e074c0 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -3987,14 +3987,15 @@ affected. (File variables become buffer local.)
 
 Extending the previous example, if the makefile for @file{foo.v} is
 located in directory @file{.../dir/}, you can add the right compile
-command. And if you want a non standard coq executable to be used, here
-is what you should put in variables:
+command. You can also specify a "-R" command. And if you want a non
+standard coq executable to be used, here is what you should put in
+variables:
 
 @lisp
 (* 
 *** Local Variables: ***
 *** coq-prog-name: "../../coqsrc/bin/coqtop" ***
-*** coq-load-path: ("../theories")***
+*** coq-load-path: (("../util" "util") "../theories") ***
 *** compile-command: "make -C .. -k bar/foo.vo" ***
 *** End:***
 *)
-- 
cgit v1.2.3