diff options
author | Martin Schanzenbach <schanzen@gnunet.org> | 2022-09-25 21:35:32 +0900 |
---|---|---|
committer | Martin Schanzenbach <schanzen@gnunet.org> | 2022-09-25 21:35:32 +0900 |
commit | 82a7bd8af34060d352348241e139dbcd775311f5 (patch) | |
tree | 08faa268f64ed3b186fb8ab691f97f8b8729eeac /bootstrap | |
parent | 622cfef5af42da1c283bc9c0a0423e18e20d5c53 (diff) | |
download | gnunet-82a7bd8af34060d352348241e139dbcd775311f5.tar.gz gnunet-82a7bd8af34060d352348241e139dbcd775311f5.zip |
DOC: Conditionally build doxygen; build sphinx on bootstrap
Diffstat (limited to 'bootstrap')
-rwxr-xr-x | bootstrap | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -90,7 +90,7 @@ check_libtool() | |||
90 | sphinx () | 90 | sphinx () |
91 | { | 91 | { |
92 | # Bootstrap Sphinx documentation | 92 | # Bootstrap Sphinx documentation |
93 | cd doc/sphinx; make man info ; cd - | 93 | cd doc/sphinx; make man info html >/dev/null; cd - |
94 | } | 94 | } |
95 | 95 | ||
96 | 96 | ||