1 files changed, 3 insertions, 3 deletions
diff --git a/check b/check
index 0830900..24b73fe 100755
--- a/check
+++ b/check
@@ -30,10 +30,10 @@ cargo build --all-targets $quiet
 got_cargo_cmd clippy && cargo clippy $quiet
 got_cargo_cmd fmt && cargo fmt -- --check
 
-subplot docgen summain.md -o summain.html
-subplot docgen summain.md -o summain.pdf
+subplot docgen summain.subplot -o summain.html
+subplot docgen summain.subplot -o summain.pdf
 
-subplot codegen summain.md -o test.py
+subplot codegen summain.subplot -o test.py
 rm -f test.log
 if ! $hideok python3 test.py --log test.log "$@"; then
 	tail -n500 test.log