diff --git a/tech-doc/Makefile b/tech-doc/Makefile
new file mode 100644
index 0000000..720ecaa
--- /dev/null
+++ b/tech-doc/Makefile
@@ -0,0 +1,13 @@
+.PHONY: all clean
+
+OUTPUT += tech-spec.pdf
+
+all: $(OUTPUT)
+
+%.pdf: %.tex
+	latexmk -pdf -xelatex -cd -latexoption="--shell-escape" -use-make -jobname="$*" $<
+
+clean:
+	for f in $(basename $(OUTPUT)); do \
+		latexmk -CA -xelatex -cd -jobname=$$f; \
+	done
diff --git a/tech-doc/main.tex b/tech-doc/tech-spec.tex
similarity index 100%
rename from tech-doc/main.tex
rename to tech-doc/tech-spec.tex
diff --git a/user-doc/Makefile b/user-doc/Makefile
new file mode 100644
index 0000000..8bd8d0c
--- /dev/null
+++ b/user-doc/Makefile
@@ -0,0 +1,13 @@
+.PHONY: all clean
+
+OUTPUT += user-doc.pdf
+
+all: $(OUTPUT)
+
+%.pdf: %.tex
+	latexmk -pdf -xelatex -cd -latexoption="--shell-escape" -use-make -jobname="$*" $<
+
+clean:
+	for f in $(basename $(OUTPUT)); do \
+		latexmk -CA -xelatex -cd -jobname=$$f; \
+	done
diff --git a/user-doc/main.tex b/user-doc/user-doc.tex
similarity index 96%
rename from user-doc/main.tex
rename to user-doc/user-doc.tex
index 7f53ce5..bb874e1 100644
--- a/user-doc/main.tex
+++ b/user-doc/user-doc.tex
@@ -21,9 +21,9 @@
 %\setmainfont[BoldFont=OpenSans-Bold, ItalicFont=OpenSans-Italic, Ligatures=TeX]{OpenSans-Regular.ttf}
 %\setsansfont[BoldFont=OpenSans-Bold, ItalicFont=OpenSans-Italic, Ligatures=TeX]{OpenSans-Regular.ttf}
 
-\newfontfamily\Roboto[BoldFont=Roboto-Bold, Ligatures=TeX]{Roboto-Regular}
-\setmainfont[BoldFont=Roboto-Bold, ItalicFont=Roboto-Italic, Ligatures=TeX]{Roboto-Regular}
-\setsansfont[BoldFont=Roboto-Bold, ItalicFont=Roboto-Italic, Ligatures=TeX]{Roboto-Regular}
+\newfontfamily\Roboto[BoldFont=Roboto-Bold, Ligatures=TeX]{Roboto-Regular.ttf}
+\setmainfont[BoldFont=Roboto-Bold, ItalicFont=Roboto-Italic, Ligatures=TeX]{Roboto-Regular.ttf}
+\setsansfont[BoldFont=Roboto-Bold, ItalicFont=Roboto-Italic, Ligatures=TeX]{Roboto-Regular.ttf}
 
 \definecolor{background}{RGB}{58,46,86}
 \definecolor{border}{RGB}{234,211,186}