diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/build | 9 | ||||
| -rwxr-xr-x | tools/publish | 9 |
2 files changed, 18 insertions, 0 deletions
diff --git a/tools/build b/tools/build new file mode 100755 index 0000000..5e25d51 --- /dev/null +++ b/tools/build @@ -0,0 +1,9 @@ +#!/bin/bash -e + +cd "$(dirname "$0")/.." + +## tools/build +## +## Converts the content in docs/ into a deployable website in site/ + +exec mkdocs build diff --git a/tools/publish b/tools/publish new file mode 100755 index 0000000..ee8aa63 --- /dev/null +++ b/tools/publish @@ -0,0 +1,9 @@ +#!/bin/bash -e + +cd "$(dirname "$0")/.." + +## tools/publish +## +## Publishes site/ to the S3 bucket hosting grimoire.ca + +exec aws s3 sync --delete site/ s3://grimoire.ca/ |