-try fix for nongnu make

1 files changed, 3 insertions, 1 deletions

diff --git a/bootstrap b/bootstrap
index 842312c8b..8fa0e02b7 100755
--- a/bootstrap
+++ b/bootstrap
@@ -109,9 +109,11 @@ sphinx_update()
       cwd=$PWD
       cd contrib/sphinx || exit 1
       # GNS
-      make all || exit 1
+      make html || exit 1
       cp -r _build/html ../../doc/handbook/ || exit 1
+      make info || exit 1
       cp -r _build/texinfo ../../doc/handbook/ || exit 1
+      make man || exit 1
       cp -r _build/man/* ../../doc/man || exit 1
       cd $cwd
     else