From c6496267bb556d764a52ed60ceb1c50a7de35119 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Thu, 21 Mar 2019 00:52:51 +0000 Subject: [PATCH] Makefile: shrink preview of pdf --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index eec3024..5cb31a5 100644 --- a/Makefile +++ b/Makefile @@ -147,7 +147,7 @@ minprintable-%.ps: $(BOARDDEPS) ./generate-board -Xp$*,bPrintableAll faces.plag input-graph $o %-preview.png: %.pdf Makefile - gm convert -geometry 50% $< png:$@.tmp && $i + gm convert -geometry 20% $< png:$@.tmp && $i boundings-%.ps: $(BOARDDEPS) ./generate-board -XB$* faces.plag input-graph $o -- 2.30.2