diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index 3453fd9..0000000 --- a/Makefile +++ /dev/null @@ -1,26 +0,0 @@ -all: pdf html - - -pdf: - mkdir -p build - pdflatex -output-directory build $(NAME).tex - pdflatex -output-directory build $(NAME).tex - -minify: - ps2pdf -dPrinted=false build/$(NAME).pdf build/$(NAME).min.pdf - -html: - mkdir -p html - -ifeq ($(findstring htmlconf.cfg,$(wildcard *.cfg)),) - $(eval HTMLCONF=) -else - $(eval HTMLCONF=--config htmlconf) -endif - make4ht -d html $(HTMLCONF) $(NAME).tex - make4ht -d html $(HTMLCONF) $(NAME).tex - cat ../custom.css >> html/$(NAME).css - rm $(NAME).4ct $(NAME).4tc $(NAME).aux $(NAME).dvi $(NAME).idv $(NAME).lg $(NAME).log $(NAME).tmp $(NAME).xref $(NAME).css $(NAME)*.html - - -.PHONY: all pdf html |