1 files changed, 6 insertions, 1 deletions
diff --git a/check b/check
index 4196811..0dc71cc 100755
--- a/check
+++ b/check
@@ -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."