Create start

This commit is contained in:
Andrew Chen Wang 2020-07-24 13:24:58 -04:00 committed by GitHub
parent f1f683f4fb
commit 11fdf17581
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -0,0 +1,7 @@
#!/bin/bash
set -o errexit
set -o pipefail
set -o nounset
make livehtml