diff --git a/doc/Makefile b/doc/Makefile
index c942a7e..ff8e36c 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -16,7 +16,7 @@ MAIN=main.tex
 all: $(PROJNAME).pdf
 
 preview: $(MAIN)
-	latexmk -pvc -jobname=$(PROJNAME) -pdf -pdflatex="pdflatex -interactive=nonstopmode" $<
+	latexmk -pvc -jobname=$(PROJNAME) -pdf -xelatex $<
 
 # CUSTOM BUILD RULES
 
@@ -41,7 +41,7 @@ preview: $(MAIN)
 # missing file reference and interactively asking you for an alternative.
 
 $(PROJNAME).pdf: $(MAIN)
-	latexmk -jobname=$(PROJNAME) -pdf -pdflatex="pdflatex -interactive=nonstopmode" -use-make $<
+	latexmk -jobname=$(PROJNAME) -pdf -xelatex -use-make $<
 
 cleanall:
 	latexmk -C
diff --git a/doc/main.tex b/doc/main.tex
index 7c84463..e2542f7 100644
--- a/doc/main.tex
+++ b/doc/main.tex
@@ -16,7 +16,7 @@
 
 \maketitle
 
-\input{proposal.tex}
+\input{report.tex}
 
 \bibliographystyle{plainnat}
 \nocite{cubical-demo}
diff --git a/doc/proposal.tex b/doc/report.tex
similarity index 100%
rename from doc/proposal.tex
rename to doc/report.tex