diff options
| author | Martin Schanzenbach <schanzen@gnunet.org> | 2023-12-27 21:45:10 +0100 |
|---|---|---|
| committer | Martin Schanzenbach <schanzen@gnunet.org> | 2023-12-27 21:45:10 +0100 |
| commit | 83fbbaeff0b2926e2787eae6bca5354908be5cb3 (patch) | |
| tree | 039ed3a94436bfefae48e5296db4c948bcff5983 | |
| parent | e02bdeed65fac4a872b050162ba9bdd21e4cde87 (diff) | |
| download | gnunet-83fbbaeff0b2926e2787eae6bca5354908be5cb3.tar.gz gnunet-83fbbaeff0b2926e2787eae6bca5354908be5cb3.zip | |
meson: simplify 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 | ||