From a629aa2e140debfff95402a17e0f01294cf3dbac Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pjm@nac.net>
Date: Sun, 08 Dec 2013 01:26:27 -0500
Subject: build: Disable makeinfo runs.

---
diff --git a/build b/build
index 3e80050..55e0d95 100755
--- a/build
+++ b/build
@@ -22,7 +22,7 @@ build: configure
 	touch $@
 
 install: build
-	oh-autoinstall -B obj
+	oh-autoinstall -B obj -- MAKEINFO=:
 	# Remove BFD files.
 	rm -f \
 		dest/usr/include/*.h \
--
cgit v0.9.1