diff options
Diffstat (limited to 'meson-dist-script')
-rw-r--r-- | meson-dist-script | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/meson-dist-script b/meson-dist-script index e5e9287dc..5d5cf9942 100644 --- a/meson-dist-script +++ b/meson-dist-script | |||
@@ -2,5 +2,14 @@ | |||
2 | 2 | ||
3 | set -eu | 3 | set -eu |
4 | 4 | ||
5 | cd "${MESON_DIST_ROOT}" | 5 | HANDBOOK_BOOTSTRAP=${MESON_SOURCE_ROOT}/contrib/handbook/_build |
6 | . ./scripts/sphinx_update.sh | 6 | |
7 | if [ ! -d ${HANDBOOK_BOOTSTRAP}/html ] || [ ! -d ${HANDBOOK_BOOTSTRAP}/texinfo ] | ||
8 | then | ||
9 | echo "Handbook not found, did you run bootstrap? Trying to compile now..." | ||
10 | cd "${MESON_DIST_ROOT}" | ||
11 | . ./scripts/sphinx_update.sh || exit 1 | ||
12 | else | ||
13 | cp -r ${HANDBOOK_BOOTSTRAP}/html ${MESON_DIST_ROOT}/handbook/ || exit 1 | ||
14 | cp -r ${HANDBOOK_BOOTSTRAP}/texinfo ${MESON_DIST_ROOT}/handbook/ || exit 1 | ||
15 | fi | ||