diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..77af9f8 --- /dev/null +++ b/Makefile @@ -0,0 +1,26 @@ +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 |