summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorP. J. McDermott <pjm@nac.net>2013-03-31 23:21:10 (EDT)
committer P. J. McDermott <pjm@nac.net>2013-03-31 23:21:10 (EDT)
commit6460a4dd17e0f39aa09dd351ab40e0e892a852a7 (patch)
tree6788af5114a74e6edb13ec750d417025172558f9
parent0563471f8a1dd14da6043cdb17e1af4df9364a6e (diff)
build: Don't build the info manual.
-rwxr-xr-xbuild2
1 files changed, 1 insertions, 1 deletions
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) \