chiark
/
gitweb
/
~mdw
/
drwho
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
74cb248
)
Makefile: Gather together the TeX machinery.
author
Mark Wooding
<mdw@distorted.org.uk>
Sat, 8 Aug 2020 12:09:12 +0000
(13:09 +0100)
committer
Mark Wooding
<mdw@distorted.org.uk>
Sat, 8 Aug 2020 12:09:12 +0000
(13:09 +0100)
Makefile
patch
|
blob
|
blame
|
history
diff --git
a/Makefile
b/Makefile
index 32332b220593d00b91da8d7dc7b9fb85c6af1d63..f76f4b64841c51a6f01fcb09fa586cda7753aad7 100644
(file)
--- a/
Makefile
+++ b/
Makefile
@@
-39,16
+39,12
@@
UPLOAD += drwho.org
UPLOAD += drwho.pdf drwho.ps
%.pdf: %.tex
$(call v_tag,PDFLATEX)pdflatex $<
-
%.dvi: %.tex
$(call v_tag,LATEX)latex $<
-
%.ps: %.dvi
$(call v_tag,DVIPS)dvips $<
.PRECIOUS: %.dvi
-
all:: drwho.pdf drwho.ps
-
clean::; rm -f *.pdf *.dvi *.ps *.log *.aux
upload: $(UPLOAD) FORCE