chiark / gitweb /
adjust for printing
[talk-2018-dc18-gdr.git] / Makefile
index b921966b25d30e2bf8264b84b8faa092c2642747..9521c7784e141a06d580968e46724115b58346f0 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -109,11 +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 $@ -B $<
+       a2ps -1 -o $@.1.tmp -B $<
+       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/