aboutsummaryrefslogtreecommitdiff
path: root/bootstrap
diff options
context:
space:
mode:
Diffstat (limited to 'bootstrap')
-rwxr-xr-xbootstrap4
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()
109 cwd=$PWD 109 cwd=$PWD
110 cd contrib/sphinx || exit 1 110 cd contrib/sphinx || exit 1
111 # GNS 111 # GNS
112 make all || exit 1 112 make html || exit 1
113 cp -r _build/html ../../doc/handbook/ || exit 1 113 cp -r _build/html ../../doc/handbook/ || exit 1
114 make info || exit 1
114 cp -r _build/texinfo ../../doc/handbook/ || exit 1 115 cp -r _build/texinfo ../../doc/handbook/ || exit 1
116 make man || exit 1
115 cp -r _build/man/* ../../doc/man || exit 1 117 cp -r _build/man/* ../../doc/man || exit 1
116 cd $cwd 118 cd $cwd
117 else 119 else