aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2015-03-13 14:16:33 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2015-03-13 14:16:33 +0000
commit5ea901126a1b385cb9b490275fd9737f54b139ca (patch)
tree0a5e6311c5d61172aafa31061830e208b668b17c /Makefile
parent40d0c079ac9acf8ddd1e531b6e229ccd71451bd4 (diff)
Summary: Revert change to default EMACS
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile5
1 files changed, 1 insertions, 4 deletions
diff --git a/Makefile b/Makefile
index 52b65364..6c92ef53 100644
--- a/Makefile
+++ b/Makefile
@@ -12,8 +12,6 @@
##
## Edit the EMACS setting below or call with an explicit one, like this:
##
-## make EMACS=emacs-23.0.60
-## or
## make EMACS=/Applications/Emacs.app/Contents/MacOS/Emacs
##
## $Id$
@@ -22,8 +20,7 @@
# Set this according to your version of Emacs.
# NB: this is also used to set default install path names below.
-# EMACS=$(shell if [ -z "`which emacs`" ]; then echo "Emacs executable not found"; exit 1; else echo emacs; fi)
-EMACS=/Applications/Emacs.app/Contents/MacOS/Emacs
+EMACS=$(shell if [ -z "`which emacs`" ]; then echo "Emacs executable not found"; exit 1; else echo emacs; fi)
# We default to /usr rather than /usr/local because installs of
# desktop and doc files under /usr/local are unlikely to work with