diff options
author | Erik Martin-Dorel <erik@martin-dorel.org> | 2016-10-15 00:04:40 +0200 |
---|---|---|
committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2016-10-15 00:04:40 +0200 |
commit | a51f0da56e93ff5c892d6de4f9b46483ffc6b383 (patch) | |
tree | b968dedac31fb39d529dea39e526046212f12cd8 /doc | |
parent | 13e2533c8e4590227d83b4869342e6594a885e14 (diff) |
Follow-up of #115.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ProofGeneral.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 147e2ae9..0ef98d7e 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -5498,7 +5498,7 @@ Then add the following to your @file{.emacs}: If Proof General complains about a version mismatch, make sure that the shell's @code{emacs} is indeed your usual Emacs. If not, run the Makefile -again with an explicit path to Emacs. On Mac in particular you'll +again with an explicit path to Emacs. On macOS in particular you'll probably need something like @example make clean; make EMACS=/Applications/Emacs.app/Contents/MacOS/Emacs |