diff options
Diffstat (limited to 'blocking/Makefile')
| -rw-r--r-- | blocking/Makefile | 18 |
1 files changed, 2 insertions, 16 deletions
diff --git a/blocking/Makefile b/blocking/Makefile index da7326f..c8f94b0 100644 --- a/blocking/Makefile +++ b/blocking/Makefile @@ -1,16 +1,2 @@ -all: pdf html - -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 - 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 - - -.PHONY: all pdf html +NAME=blocking +include ../Makefile |