From 39cf51d39e5bec2278da749eb01d4d17aa79515d Mon Sep 17 00:00:00 2001
From: Lars Wirzenius <liw@liw.fi>
Date: Sun, 3 Dec 2023 08:47:34 +0200
Subject: 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
---
 check | 1 -
 1 file changed, 1 deletion(-)

(limited to 'check')

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
-- 
cgit v1.2.1