1 files changed, 17 insertions, 0 deletions
diff --git a/publish-release.sh b/publish-release.sh
new file mode 100755
index 0000000..741b17b
--- /dev/null
+++ b/publish-release.sh
@@ -0,0 +1,17 @@
+#!/bin/bash
+
+set -euo pipefail
+
+img="$1"
+dir="$2"
+
+version="$(basename "$dir")"
+
+mkdir "$dir"
+xz -0vT0 <"$img" >"$dir/v-i.img.xz"
+cp configure-installer write-and-config.sh "$dir/"
+for file in NEWS.md README.md tutorial.md; do
+	sed "s/VERSION/$version/" "$file" >tmp.md
+	pandoc tmp.md -o "$dir/$(basename "$file" .md).html"
+	rm tmp.md
+done