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()
 sphinx ()
 {
     # Bootstrap Sphinx documentation
-    cd doc/sphinx; make man info ; cd -
+    cd doc/sphinx; make man info html >/dev/null; cd -
 }