diff options
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/makefile b/makefile new file mode 100644 index 0000000..168dbc9 --- /dev/null +++ b/makefile @@ -0,0 +1,18 @@ +TEX := xelatex +TEXARGS := --output-directory=build --halt-on-error + +DOCNAME := the_crown_bar +SOURCES := $(DOCNAME).tex tex/docstyle.sty + +# include tex/Makefile.inc + +.PHONY: clean +all: build/$(DOCNAME).pdf + +clean: + @rm -rfv build + +build/$(DOCNAME).pdf : $(SOURCES) + mkdir -p build + $(TEX) $(TEXARGS) $< + $(TEX) $(TEXARGS) $< |