aboutsummaryrefslogtreecommitdiff
path: root/bootstrap
diff options
context:
space:
mode:
Diffstat (limited to 'bootstrap')
-rwxr-xr-xbootstrap2
1 files changed, 1 insertions, 1 deletions
diff --git a/bootstrap b/bootstrap
index 2c6cea4ce..5601c730d 100755
--- a/bootstrap
+++ b/bootstrap
@@ -111,7 +111,7 @@ sphinx_update()
111 # GNS 111 # GNS
112 make html >/dev/null || 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 >/dev/null || exit 1 114 make texinfo >/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 >/dev/null || 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