chiark
/
gitweb
/
~ijackson
/
talk-2018-dc18-gdr.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
83fe8cb
)
dc inkjet cuts parts off
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Mon, 30 Jul 2018 03:30:57 +0000
(
04:30
+0100)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Mon, 30 Jul 2018 03:30:57 +0000
(
04:30
+0100)
Makefile
patch
|
blob
|
history
diff --git
a/Makefile
b/Makefile
index b921966b25d30e2bf8264b84b8faa092c2642747..fa02c9cbb0cb6a74d2b7bbded5ca634df0240c47 100644
(file)
--- a/
Makefile
+++ b/
Makefile
@@
-113,7
+113,8
@@
slides.pdf: slides.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.95(7mm,10mm)'
install: slides.pdf talk.txt
rsync -vP $^ ijackson@chiark:public-html/2018/debconf-gdr-talk/