diff options
-rwxr-xr-x | check | 7 | ||||
-rwxr-xr-x | format.sh | 8 |
2 files changed, 6 insertions, 9 deletions
@@ -21,6 +21,11 @@ cargo clippy $quiet cargo fmt -- --check $hideok cargo test $quiet -./format.sh +sp-docgen obnam.md -o obnam.html +sp-docgen obnam.md -o obnam.pdf + +sp-codegen obnam.md -o test.py +rm -f test.log +$hideok python3 test.py --log test.log "$@" echo "Everything seems to be in order." diff --git a/format.sh b/format.sh deleted file mode 100755 index e7f3c70..0000000 --- a/format.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/sh -# -# Build docs. - -set -eu - -sp-docgen obnam.md -o obnam.html -sp-docgen obnam.md -o obnam.pdf |