adjust for printing

[talk-2018-dc18-gdr.git] / Makefile

diff --git a/Makefile b/Makefile
index 5b4462a4e361ba3e5fe6b01a5bb7d4b67eaa9594..9521c7784e141a06d580968e46724115b58346f0 100644 (file)
--- 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)