From e7cc8720fb73892545035c4d461505281a718730 Mon Sep 17 00:00:00 2001
From: Ryan Kavanagh <rak@debian.org>
Date: Fri, 28 Jun 2013 09:16:27 -0400
Subject: Info file is broken in vm; skip building/installing it

---
 emacsen/Makefile | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'emacsen/Makefile')

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 $@
-- 
cgit v1.2.3