diff -r a87e2181d6b6 -r cfd4b8219c87 Slides/document/build
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Slides/document/build	Fri Dec 13 10:37:25 2013 +1100
@@ -0,0 +1,11 @@
+#!/bin/bash
+
+set -e
+
+FORMAT="$1"
+VARIANT="$2"
+
+ISABELLE_PDFLATEX="xelatex"
+
+"$ISABELLE_TOOL" latex -o "$FORMAT"
+"$ISABELLE_TOOL" latex -o "$FORMAT"