diff options
Diffstat (limited to 'doc/release.sh.in')
-rwxr-xr-x | doc/release.sh.in | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/doc/release.sh.in b/doc/release.sh.in new file mode 100755 index 0000000..e344b6b --- /dev/null +++ b/doc/release.sh.in @@ -0,0 +1,38 @@ +#! /usr/bin/env bash +( +cd $(dirname $(which "$0")) || exit 1 + +distdir="@PACKAGE@-@VERSION@-doc" +[ -z $MAKE ] && MAKE=make + +# Clean up +rm -Rf "${distdir}" "${distdir}.zip" + +# Generate +"${MAKE}" || exit 1 + +# Copy +mkdir -p "${distdir}/html" +cp \ + html/*.css \ + html/*.html \ + html/*.png \ + \ + "${distdir}/html/" || exit 1 + +# Package +zip -r "${distdir}.zip" "${distdir}" || exit 1 + +cat <<INFO +================================================= +${distdir} archives ready for distribution: +${distdir}.zip +================================================= + +INFO + +# Clean up +rm -Rf "${distdir}" + +) +exit $? |