From a51f0da56e93ff5c892d6de4f9b46483ffc6b383 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik@martin-dorel.org>
Date: Sat, 15 Oct 2016 00:04:40 +0200
Subject: Follow-up of #115.

---
 doc/ProofGeneral.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3