1 files changed, 0 insertions, 19 deletions
diff --git a/doc/format-pdf b/doc/format-pdf
deleted file mode 100755
index 6915245..0000000
--- a/doc/format-pdf
+++ /dev/null
@@ -1,19 +0,0 @@
-#!/bin/sh
-
-set -eu
-
-output="$1"
-shift
-
-pandoc --smart \
-       --toc \
-       --chapters \
-       --number-sections \
-       -Vdocumentclass:report \
-       -Vgeometry:a4paper \
-       -Vfontsize:12pt \
-       -Vmainfont:FreeSans \
-       -Vsansfont:FreeSans \
-       -Vmonofont:FreeMonoBold \
-       --latex-engine=xelatex \
-       -o "$output" "$@"