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 $?