1 files changed, 1 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index 2aac5500..61c01ad2 100644
--- a/Makefile
+++ b/Makefile
@@ -18,6 +18,7 @@ ELISP_DIRS = generic lego coq isa isar plastic demoisa hol98 phox twelf acl2
 # FIXME: automate the emacs choice to be xemacs if it can be
 # found, otherwise emacs.
 BATCHEMACS=xemacs -batch -q -no-site-file
+#BATCHEMACS=emacs -batch -q -no-site-file
 
 PWD=$(shell pwd)
 BASH_SCRIPTS = isa/interface isar/interface