diff options
| author | P. 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) |
| commit | 6460a4dd17e0f39aa09dd351ab40e0e892a852a7 (patch) | |
| tree | 6788af5114a74e6edb13ec750d417025172558f9 | |
| parent | 0563471f8a1dd14da6043cdb17e1af4df9364a6e (diff) | |
build: Don't build the info manual.
| -rwxr-xr-x | build | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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) \ |