summaryrefslogtreecommitdiff
path: root/check
diff options
context:
space:
mode:
Diffstat (limited to 'check')
-rwxr-xr-xcheck11
1 files changed, 11 insertions, 0 deletions
diff --git a/check b/check
new file mode 100755
index 0000000..254c08a
--- /dev/null
+++ b/check
@@ -0,0 +1,11 @@
+#!/bin/bash
+#
+# Typeset the subplot, and verify that a pre-existing test environment
+# functions.
+
+set -euo pipefail
+
+subplot docgen puomi.md -o puomi.pdf
+subplot docgen puomi.md -o puomi.html
+subplot codegen puomi.md -o test.py
+python3 test.py --log test.log