github-releases-setup.sh: run github-pages-setup before generating docs
diff --git a/.github/bin/github-releases-setup.sh b/.github/bin/github-releases-setup.sh index 3cffa29..06ca975 100755 --- a/.github/bin/github-releases-setup.sh +++ b/.github/bin/github-releases-setup.sh
@@ -19,6 +19,7 @@ set -ex +SCRIPT_DIR=$(dirname $0) RELEASE_DIR=${1:-/tmp/releases} rm -rf "$RELEASE_DIR/*" @@ -41,6 +42,8 @@ ldd $BIN || true # ignore the potential 'not a dynamic executable' errors for non-binaries done +${SCRIPT_DIR}/github-pages-setup.sh $PREFIX_BIN + # Documentation cp -a /tmp/pages/* $PREFIX_DOC # Man pages
diff --git a/releasing/build.sh b/releasing/build.sh index 2263203..008fd97 100755 --- a/releasing/build.sh +++ b/releasing/build.sh
@@ -18,5 +18,4 @@ cd $(dirname "$0")/.. -./.github/bin/github-pages-setup.sh ./.github/bin/github-releases-setup.sh /out