Clean up make workflow

Author: yurrriq

.gitignore

@@ -189,3 +189,4 @@ TSWLatexianTemp*
 ## Generated LaTeX files:
 *.tex
 !book.tex
+src/auto/

Makefile

@@ -2,14 +2,15 @@ PKG   := software_foundations
 # TODO: Find idris executable.
 IDRIS ?= idris
 
+.PHONY: pdf site
+
 all: pdf site
 
 build:
 	$(IDRIS) --build $(PKG).ipkg
 
 pdf:
-	$(MAKE) -C src all
-	$(MAKE) -C src all.pdf
+	$(MAKE) -C src
 	mv src/all.pdf docs/pdf/sf-idris-2016.pdf
 
 clean-all: clean clean-docs

src/Makefile

@@ -1,36 +1,32 @@
-.DEFAULT_GOAL := all
+.DEFAULT_GOAL := all.pdf
 
 # TODO: Find pandoc executable.
 PANDOC    ?= pandoc
 
+PANDOC_FLAGS := \
+	--filter pandoc-minted.hs --latex-engine=xelatex \
+	-f markdown+lhs+tex_math_single_backslash -t latex+lhs \
+	--top-level-division=chapter
+
 LIDRFILES := Preface.lidr \
 	Basics.lidr \
 	Induction.lidr
 # TODO: Add more chapters, in order, here.
 
 TEXFILES  := $(LIDRFILES:.lidr=.tex)
 
-.PHONY: clean
 
-all: all.pdf
+.PHONY: all clean
 
 clean:
 	rm -rf all.{aux,log,out,toc,pdf} _minted-all $(TEXFILES)
 
 all.pdf: all.tex
-	xelatex -shell-escape $<
-	xelatex -shell-escape $<
+	latexmk -xelatex -e '$$pdflatex=q/xelatex %O --shell-escape %S/' $<
 
 all.tex: book.tex $(TEXFILES)
-	$(PANDOC) --filter pandoc-minted.py --latex-engine=xelatex \
-	-f markdown+lhs+tex_math_single_backslash -t latex+lhs \
-	--top-level-division=chapter -N \
-	--toc \
-	-o $@ $(foreach tex,$(filter-out $<,$^),-A $(tex)) \
-	book.tex
+	$(PANDOC) $(PANDOC_FLAGS) -N --toc -o $@ \
+	$(foreach texfile,$(TEXFILES),-A $(texfile)) $<
 
 %.tex: %.lidr
-	$(PANDOC) --filter pandoc-minted.py --latex-engine=xelatex \
-	-f markdown+lhs+tex_math_single_backslash -t latex+lhs \
-	--top-level-division=chapter -N \
-	-o $@ $<
+	$(PANDOC) $(PANDOC_FLAGS) -o $@ $<