From 168375b8fc9c24e89c63a599a38ae0686e6d4396 Mon Sep 17 00:00:00 2001 From: Tej Chajed Date: Fri, 14 Oct 2016 14:16:02 -0400 Subject: Refer to Apple's operating system as macOS Starting with the latest version (10.12 "Sierra"), the operating system is called macOS rather than Mac OS X. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README.md') diff --git a/README.md b/README.md index 9933c16a..77dddcf1 100644 --- a/README.md +++ b/README.md @@ -25,7 +25,7 @@ Then add the following to your `.emacs`: (load "~/.emacs.d/lisp/PG/generic/proof-site") ``` -If Proof General complains about a version mismatch, make sure that the shell's `emacs` is indeed your usual Emacs. If not, run the Makefile again with an explicit path to Emacs. On Mac in particular you'll probably need something like +If Proof General complains about a version mismatch, make sure that the shell's `emacs` is indeed your usual Emacs. If not, run the Makefile again with an explicit path to Emacs. On macOS in particular you'll probably need something like ```sh make clean; make EMACS=/Applications/Emacs.app/Contents/MacOS/Emacs -- cgit v1.2.3