summaryrefslogtreecommitdiff
path: root/doc/makefile
diff options
context:
space:
mode:
authorUnavailableDev <69792062+UnavailableDev@users.noreply.github.com>2023-05-20 22:08:08 +0200
committerGitHub <noreply@github.com>2023-05-20 22:08:08 +0200
commitac1884bec264d08dc5cc58d1cda24e20734c9205 (patch)
tree6c71a74d2b3d4af7d183b0823b15bba601a37bb5 /doc/makefile
parent7a18524a8b97deaafcd93be14e56ce308fe4583c (diff)
parentba026d8229744a01818d38552ec7271e689d19eb (diff)
Merge branch 'lonkaars:master' into master
Diffstat (limited to 'doc/makefile')
-rw-r--r--doc/makefile20
1 files changed, 20 insertions, 0 deletions
diff --git a/doc/makefile b/doc/makefile
new file mode 100644
index 0000000..9f4dfa0
--- /dev/null
+++ b/doc/makefile
@@ -0,0 +1,20 @@
+.PHONY: all clean
+
+TARGET := $(patsubst %.md,%.pdf, $(wildcard *.md))
+
+all: $(TARGET)
+
+garbage = $1.aux $1.bbl $1.bcf $1.blg $1.fdb_latexmk $1.fls $1.log $1.out $1.run.xml $1.synctex.gz $1.toc $1.md.tex
+
+%.pdf: %.svg
+ rsvg-convert -f pdf -o $@ $<
+
+%.pdf: %.tex base.tex %.md.tex
+ latexmk $< -shell-escape -halt-on-error -lualatex -f -g
+
+%.md.tex: %.md
+ pandoc -t latex -o $@ $<
+
+clean:
+ $(RM) $(call garbage,research) research.pdf
+