--- /dev/null
+#!/bin/sh
+#
+# generate_MANIFEST
+#
+# Simple helper script. Generate a MANIFEST file for stuff to
+# download. Each line is a file, described in the format:
+#
+# <FILENAME>:<MODE>:<BYTES>:<SHA256>
+#
+# Apart from the MANIFEST itself, all files offered up for download
+# should be compressed with gzip. In each case, the runtime script
+# will download $FILENAME.gz, decompress it and then validate the
+# checksum
+
+for FILENAME in $@; do
+ MODE=$(stat -c%a $FILENAME)
+ SHA_FILE=$(sha256sum $FILENAME | awk '{print $1}')
+ SIZE_FILE=$(stat -c%s $FILENAME)
+ echo "$FILENAME:$MODE:$SIZE_FILE:$SHA_FILE"
+done