-fix installation of gnunet.info

1 files changed, 8 insertions, 0 deletions

diff --git a/bootstrap b/bootstrap
index 96c0f7196..cee9a1ff7 100755
--- a/bootstrap
+++ b/bootstrap
@@ -87,6 +87,13 @@ check_libtool()
     fi
 }
 
+sphinx ()
+{
+    # Bootstrap Sphinx documentation
+    cd doc/sphinx; make man info ; cd -
+}
+
+
 submodules()
 {
     # Try to update the submodule. Since bootstrap
@@ -142,6 +149,7 @@ main()
     gana_update
     check_uncrustify
     check_yapf
+    sphinx
     check_libtool
 }