From 84f7a97ad2b0dedcbb72b48fcf50b912f28fd21f Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Mon, 30 Jul 2018 04:30:57 +0100 Subject: [PATCH] dc inkjet cuts parts off --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index b921966..fa02c9c 100644 --- a/Makefile +++ b/Makefile @@ -113,7 +113,8 @@ slides.pdf: slides.ps Makefile ps2pdf $< $@ talk.ps demo.ps: %.ps: %.txt Makefile - a2ps -1 -o $@ -B $< + a2ps -1 -o $@.1.tmp -B $< + pstops <$@.1.tmp >$@ '0@0.95(7mm,10mm)' install: slides.pdf talk.txt rsync -vP $^ ijackson@chiark:public-html/2018/debconf-gdr-talk/ -- 2.30.2