aboutsummaryrefslogtreecommitdiff
path: root/bootstrap
diff options
context:
space:
mode:
Diffstat (limited to 'bootstrap')
-rwxr-xr-xbootstrap6
1 files changed, 3 insertions, 3 deletions
diff --git a/bootstrap b/bootstrap
index 8fa0e02b7..2c6cea4ce 100755
--- a/bootstrap
+++ b/bootstrap
@@ -109,11 +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 html || exit 1 112 make html >/dev/null || 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 make info >/dev/null || exit 1
115 cp -r _build/texinfo ../../doc/handbook/ || exit 1 115 cp -r _build/texinfo ../../doc/handbook/ || exit 1
116 make man || exit 1 116 make man >/dev/null || exit 1
117 cp -r _build/man/* ../../doc/man || exit 1 117 cp -r _build/man/* ../../doc/man || exit 1
118 cd $cwd 118 cd $cwd
119 else 119 else