diff options
Diffstat (limited to 'blocking/Makefile')
| -rw-r--r-- | blocking/Makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/blocking/Makefile b/blocking/Makefile new file mode 100644 index 0000000..a604f68 --- /dev/null +++ b/blocking/Makefile @@ -0,0 +1,14 @@ +pdf: + mkdir -p build + pdflatex -output-directory build blocking.tex + pdflatex -output-directory build blocking.tex + +html: + mkdir -p html + make4ht -d html blocking.tex + make4ht -d html blocking.tex + 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 |