fix: don't produce a PDF with Summain

Summain doesn't do that anymore.

Signed-off-by: Lars Wirzenius <liw@liw.fi>
Sponsored-by: author

1 files changed, 0 insertions, 1 deletions

diff --git a/check b/check
index bc9da92..237df0d 100755
--- a/check
+++ b/check
@@ -38,7 +38,6 @@ got_cargo_cmd clippy && cargo clippy $offline $quiet
 got_cargo_cmd fmt && cargo fmt -- --check
 
 subplot docgen summain.subplot -o summain.html
-subplot docgen summain.subplot -o summain.pdf
 
 subplot codegen summain.subplot -o test.py
 rm -f test.log