From 9be6a48d18f8893f22f876534e5ccaaf9e69d006 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Mon, 30 Jul 2018 04:41:17 +0100 Subject: [PATCH] adjust for printing --- .gitignore | 2 ++ Makefile | 6 +++--- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/.gitignore b/.gitignore index 1365218..cfd2997 100644 --- a/.gitignore +++ b/.gitignore @@ -12,3 +12,5 @@ dm-for-zoom.eps *.1 talk.ps demo.ps +talk.pdf +demo.pdf diff --git a/Makefile b/Makefile index 5b4462a..9521c77 100644 --- a/Makefile +++ b/Makefile @@ -109,16 +109,16 @@ dm-for-zoom.eps: dm.fig slides.ps: $(SLIDEFILES) Makefile cat $(SLIDEFILES) $o -slides.pdf: slides.ps Makefile +%.pdf: %.ps Makefile ps2pdf $< $@ talk.ps demo.ps: %.ps: %.txt Makefile a2ps -1 -o $@.1.tmp -B $< - pstops <$@.1.tmp >$@ '0@0.95(7mm,10mm)' + pstops <$@.1.tmp >$@ '0@0.94(7mm,7.5mm)' usb=/media/usb1 -for-printing: talk.ps demo.ps +for-printing: talk.pdf demo.pdf mount $(usb) cp $^ $(usb)/. umount $(usb) -- 2.30.2