the makefile I wrote on Ubuntu 18.04 no longer works on Ubuntu 19.04. Fixed that.

Author: Weiwu Zhang

doc/Makefile

@@ -1,6 +1,10 @@
+CJK_FONT=AR PL UMing TW
+PANDOC_OPTIONS=-V geometry:margin=1.5in
+
 papers : short_paper.pdf design_paper.pdf
 
 short_paper.pdf : short_paper.md
-	pandoc -V geometry:margin=1.5in -o short_paper.pdf short_paper.md
+	pandoc $(PANDOC_OPTIONS) -o short_paper.pdf short_paper.md
 design_paper.pdf : design_paper.md
-	pandoc -V CJKmainfont='AR PL UMing TW' -V geometry:margin=1.5in --latex-engine=xelatex -o design_paper.pdf design_paper.md
+	# the design paper has some ideographs
+	pandoc $(PANDOC_OPTIONS) -V CJKmainfont="$(CJK_FONT)" --pdf-engine=xelatex -o design_paper.pdf design_paper.md