Add scripts
This commit is contained in:
parent
401b458056
commit
ee87e724af
|
@ -0,0 +1,5 @@
|
||||||
|
#!/bin/sh
|
||||||
|
set -eu
|
||||||
|
cd "$(dirname "$0")"/..
|
||||||
|
set -x
|
||||||
|
pandoc -o www/index.html README.md
|
|
@ -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/
|
Loading…
Reference in New Issue