summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ci-prod.ick2
1 files changed, 1 insertions, 1 deletions
diff --git a/ci-prod.ick b/ci-prod.ick
index 0f642fd..73a8f23 100644
--- a/ci-prod.ick
+++ b/ci-prod.ick
@@ -1221,7 +1221,7 @@ pipelines:
if subplot $opts metadata "$base.subplot" | awk '/^title:/ && NF > 1' | grep .
then
subplot $opts docgen "$base.subplot" -o "$output/$base.html"
- subplot $opts docgen "$base.subplot" -o "$output/$base.pdf"
+ # subplot $opts docgen "$base.subplot" -o "$output/$base.pdf"
fi
)
done