chiark
/
gitweb
/
~ijackson
/
talk-2018-dc18-gdr.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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.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 $<
ps2pdf $< $@
talk.ps demo.ps: %.ps: %.txt Makefile
a2ps -1 -o $@.1.tmp -B $<
- pstops <$@.1.tmp >$@ '0@0.9
5(7mm,10
mm)'
+ pstops <$@.1.tmp >$@ '0@0.9
4(7mm,7.5
mm)'
usb=/media/usb1
usb=/media/usb1
-for-printing: talk.p
s demo.ps
+for-printing: talk.p
df demo.pdf
mount $(usb)
cp $^ $(usb)/.
umount $(usb)
mount $(usb)
cp $^ $(usb)/.
umount $(usb)