From 82a7bd8af34060d352348241e139dbcd775311f5 Mon Sep 17 00:00:00 2001
From: Martin Schanzenbach <schanzen@gnunet.org>
Date: Sun, 25 Sep 2022 21:35:32 +0900
Subject: DOC: Conditionally build doxygen; build sphinx on bootstrap

---
 bootstrap | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'bootstrap')

diff --git a/bootstrap b/bootstrap
index cee9a1ff7..3fa6e67ad 100755
--- a/bootstrap
+++ b/bootstrap
@@ -90,7 +90,7 @@ check_libtool()
 sphinx ()
 {
     # Bootstrap Sphinx documentation
-    cd doc/sphinx; make man info ; cd -
+    cd doc/sphinx; make man info html >/dev/null; cd -
 }
 
 
-- 
cgit v1.2.3