From 22e507ae606c1fb887bb4076710b6d03e5ede587 Mon Sep 17 00:00:00 2001
From: Lars Wirzenius <liw@liw.fi>
Date: Sat, 28 Oct 2023 11:17:42 +0300
Subject: chore: drop PDF generation, as Subplot no longer supports it

Signed-off-by: Lars Wirzenius <liw@liw.fi>
Sponsored-by: author
---
 check | 1 -
 1 file changed, 1 deletion(-)

diff --git a/check b/check
index 2a2e7a7..b997ef3 100755
--- a/check
+++ b/check
@@ -5,5 +5,4 @@
 
 set -euo pipefail
 
-subplot docgen puomi.subplot -o puomi.pdf
 subplot docgen puomi.subplot -o puomi.html
-- 
cgit v1.2.1