chiark / gitweb /
Makefile: shrink preview of pdf master
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 21 Mar 2019 00:52:51 +0000 (00:52 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 21 Mar 2019 00:52:51 +0000 (00:52 +0000)
Makefile

index eec3024c755afc6a602fe58f79e1630c5010ba97..5cb31a56b22ac3bbb99efc5851d89daa304b87bb 100644 (file)
--- 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