build: Disable makeinfo runs.

1 files changed, 2 insertions, 2 deletions

diff --git a/build b/build
index 21410e4..1d44950 100755
--- a/build
+++ b/build
@@ -10,11 +10,11 @@ configure:
 	touch $@
 
 build: configure
-	oh-autobuild
+	oh-autobuild -- MAKEINFO=:
 	touch $@
 
 install: build
-	oh-autoinstall
+	oh-autoinstall -- MAKEINFO=:
 	mv dest/usr/bin/dc dest/usr/bin/dc.gnu
 	# Remove GNU Info index.
 	rm -f dest/usr/share/info/dir