aboutsummaryrefslogtreecommitdiff
path: root/emacsen
diff options
context:
space:
mode:
authorRyan Kavanagh <rak@debian.org>2013-06-28 09:16:27 -0400
committerRyan Kavanagh <rak@debian.org>2013-06-28 09:16:27 -0400
commite7cc8720fb73892545035c4d461505281a718730 (patch)
treee6165152893cb09e2fccd9220dfdaedfd79dcc7f /emacsen
parentAdded myswap symbols used by icd script (diff)
Info file is broken in vm; skip building/installing it
Diffstat (limited to 'emacsen')
-rw-r--r--emacsen/Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/emacsen/Makefile b/emacsen/Makefile
index 91a4b9a..2e63ee9 100644
--- a/emacsen/Makefile
+++ b/emacsen/Makefile
@@ -69,6 +69,8 @@ make-proofgeneral:
touch $@
make-vm:
+ # info file is broken in vm at the moment.
+ echo '%s/^all: info/all:/g\n%s/^info:.*/info:/g\nw' | ed vm/info/Makefile.in
cd $(@:make-%=%) && autoconf && ./configure --prefix=$(EMACSD) --with-other-dirs=$(EMACSEN)/bbdb/lisp
$(MAKE) -C $(@:make-%=%)
touch $@