From bff746f2a30c13373aacbdc7b149e8c482d9bf50 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 6 Nov 2021 20:38:50 +0000
Subject: [PATCH] images shrink a bit

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index b0b637c..66494c0 100644
--- a/Makefile
+++ b/Makefile
@@ -70,7 +70,7 @@ book-%.eps: book-%.ps
 	rm -f $@; ps2eps $<
 
 book-%.png: book-%.eps Makefile
-	gm convert -density 150x150 $< $@
+	gm convert -density 100x100 $< $@
 
 .PRECIOUS: book-%.eps
 
-- 
2.30.2