diff --git a/scripts/build.sh b/scripts/build.sh new file mode 100755 index 0000000..3b98232 --- /dev/null +++ b/scripts/build.sh @@ -0,0 +1,5 @@ +#!/bin/sh +set -eu +cd "$(dirname "$0")"/.. +set -x +pandoc -o www/index.html README.md diff --git a/scripts/upload.sh b/scripts/upload.sh new file mode 100755 index 0000000..178494e --- /dev/null +++ b/scripts/upload.sh @@ -0,0 +1,6 @@ +#!/bin/sh +set -eu +cd "$(dirname "$0")"/.. +set -x +scripts/build.sh +rsync -vcr --delete www/ alpha.servers.scheme.org:/production/groups/www/prescheme/