chiark / gitweb /
adjust for printing
[talk-2018-dc18-gdr.git] / Makefile
index fa02c9cbb0cb6a74d2b7bbded5ca634df0240c47..9521c7784e141a06d580968e46724115b58346f0 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -109,12 +109,19 @@ 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.pdf demo.pdf
+       mount $(usb)
+       cp $^ $(usb)/.
+       umount $(usb)
 
 install: slides.pdf talk.txt
        rsync -vP $^ ijackson@chiark:public-html/2018/debconf-gdr-talk/