From 6460a4dd17e0f39aa09dd351ab40e0e892a852a7 Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pjm@nac.net>
Date: Sun, 31 Mar 2013 23:21:10 -0400
Subject: build: Don't build the info manual.

---
diff --git a/build b/build
index 45247bb..1f59f60 100755
--- a/build
+++ b/build
@@ -39,7 +39,7 @@ configure-libc:
 	else \
 		HEADERS=; \
 	fi && \
-	BUILD_CC=gcc BUILD_CXX=g++ oh-autoconfigure \
+	BUILD_CC=gcc BUILD_CXX=g++ MAKEINFO=: oh-autoconfigure \
 		-s "$${PWD}/src/libc" -B libcbuild -- \
 		--datarootdir=$(datarootdir) --datadir=$(datadir) \
 		--localedir=$(localedir) --docdir=$(docdir) \
--
cgit v0.9.1