chiark / gitweb /
adjust for printing master
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 30 Jul 2018 03:41:17 +0000 (04:41 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 30 Jul 2018 03:41:17 +0000 (04:41 +0100)
.gitignore
Makefile

index 13652187bc1f0d2c963d925d613b77809c5f24bb..cfd299711b20a58b3c18341ce73bb8a7035795f2 100644 (file)
@@ -12,3 +12,5 @@ dm-for-zoom.eps
 *.1
 talk.ps
 demo.ps
+talk.pdf
+demo.pdf
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)