diff options
Diffstat (limited to 'bootstrap')
-rwxr-xr-x | bootstrap | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |