diff options
| -rw-r--r-- | blocking/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/blocking/Makefile b/blocking/Makefile index e13482b..da7326f 100644 --- a/blocking/Makefile +++ b/blocking/Makefile @@ -1,3 +1,5 @@ +all: pdf html + pdf: mkdir -p build pdflatex -output-directory build blocking.tex @@ -10,6 +12,5 @@ html: cat custom.css >> html/blocking.css rm blocking.4ct blocking.4tc blocking.aux blocking.dvi blocking.idv blocking.lg blocking.log blocking.tmp blocking.xref blocking.css blocking.html -all: pdf html .PHONY: all pdf html |