diff options
author | Martin Schanzenbach <schanzen@gnunet.org> | 2023-12-28 14:49:25 +0100 |
---|---|---|
committer | Martin Schanzenbach <schanzen@gnunet.org> | 2023-12-28 14:49:25 +0100 |
commit | def35677dda30181d2f90d8155a3851744a7c0cd (patch) | |
tree | f1410d9cda8166036d28196b8aba6c845165178d | |
parent | cb5ddc9f44aadc2c0ca6cd94e6a01713ca073f2f (diff) | |
download | gnunet-def35677dda30181d2f90d8155a3851744a7c0cd.tar.gz gnunet-def35677dda30181d2f90d8155a3851744a7c0cd.zip |
meson: further improve dist tarball size
-rw-r--r-- | meson-dist-script | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/meson-dist-script b/meson-dist-script index 105d3a544..382681978 100644 --- a/meson-dist-script +++ b/meson-dist-script | |||
@@ -9,10 +9,12 @@ then | |||
9 | echo "Handbook not found, did you run bootstrap? Trying to compile now..." | 9 | echo "Handbook not found, did you run bootstrap? Trying to compile now..." |
10 | cd "${MESON_DIST_ROOT}" | 10 | cd "${MESON_DIST_ROOT}" |
11 | . ./scripts/sphinx_update.sh || exit 1 | 11 | . ./scripts/sphinx_update.sh || exit 1 |
12 | rm -rf ${MESON_DIST_ROOT}/contrib/handbook/_build | ||
12 | else | 13 | else |
13 | cp -r ${HANDBOOK_BOOTSTRAP}/html ${MESON_DIST_ROOT}/handbook/ || exit 1 | 14 | cp -r ${HANDBOOK_BOOTSTRAP}/html ${MESON_DIST_ROOT}/handbook/ || exit 1 |
14 | cp -r ${HANDBOOK_BOOTSTRAP}/texinfo ${MESON_DIST_ROOT}/handbook/ || exit 1 | 15 | cp -r ${HANDBOOK_BOOTSTRAP}/texinfo ${MESON_DIST_ROOT}/handbook/ || exit 1 |
15 | fi | 16 | fi |
16 | 17 | ||
17 | # Remove contrib handbook build before dist | 18 | # Do not dist old handbook |
18 | rm -rf ${HANDBOOK_BOOTSTRAP} | 19 | rm -rf ${MESON_DIST_ROOT}/doc/old |
20 | |||