summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLars Wirzenius <liw@liw.fi>2023-10-28 11:17:42 +0300
committerLars Wirzenius <liw@liw.fi>2023-10-28 11:17:42 +0300
commit22e507ae606c1fb887bb4076710b6d03e5ede587 (patch)
tree5359bb681574d8322696d5078bd3b05c41d904dd
parentec840ea16bd56ed9ac60a6726450ca3c42ee4e3f (diff)
downloadpuomi-22e507ae606c1fb887bb4076710b6d03e5ede587.tar.gz
chore: drop PDF generation, as Subplot no longer supports it
Signed-off-by: Lars Wirzenius <liw@liw.fi> Sponsored-by: author
-rwxr-xr-xcheck1
1 files changed, 0 insertions, 1 deletions
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