From eb3472d3539e05e0b48447fa4e1c26581bdece4a Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 15 Feb 2003 15:00:19 +0000 Subject: Line for Emacs compile --- Makefile | 1 + 1 file changed, 1 insertion(+) (limited to 'Makefile') 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 -- cgit v1.2.3