diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2012-06-19 13:58:48 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2012-06-19 13:58:48 +0000 |
| commit | be7deda997084f2fdd1f39db25da1e93d6ca1579 (patch) | |
| tree | 8dadf1db2e4b42d07a01dad7b28fc31ec76d9370 /doc/ProofGeneral.texi | |
| parent | a1c532da10c7f1168b68c238622009301f48b087 (diff) | |
Completed documentation for file variables.
Diffstat (limited to 'doc/ProofGeneral.texi')
| -rw-r--r-- | doc/ProofGeneral.texi | 7 |
1 files changed, 4 insertions, 3 deletions
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:*** *) |