diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2003-02-15 15:00:19 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2003-02-15 15:00:19 +0000 |
commit | eb3472d3539e05e0b48447fa4e1c26581bdece4a (patch) | |
tree | 9d2b55a29ae624aaf3ac8071142dd2009ff255b4 /Makefile | |
parent | 48b7d2d0883e95309347903fdae0e529e4a10424 (diff) |
Line for Emacs compile
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |