aboutsummaryrefslogtreecommitdiff
path: root/bootstrap
diff options
context:
space:
mode:
authorMartin Schanzenbach <schanzen@gnunet.org>2022-09-25 21:35:32 +0900
committerMartin Schanzenbach <schanzen@gnunet.org>2022-09-25 21:35:32 +0900
commit82a7bd8af34060d352348241e139dbcd775311f5 (patch)
tree08faa268f64ed3b186fb8ab691f97f8b8729eeac /bootstrap
parent622cfef5af42da1c283bc9c0a0423e18e20d5c53 (diff)
downloadgnunet-82a7bd8af34060d352348241e139dbcd775311f5.tar.gz
gnunet-82a7bd8af34060d352348241e139dbcd775311f5.zip
DOC: Conditionally build doxygen; build sphinx on bootstrap
Diffstat (limited to 'bootstrap')
-rwxr-xr-xbootstrap2
1 files changed, 1 insertions, 1 deletions
diff --git a/bootstrap b/bootstrap
index cee9a1ff7..3fa6e67ad 100755
--- a/bootstrap
+++ b/bootstrap
@@ -90,7 +90,7 @@ check_libtool()
90sphinx () 90sphinx ()
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