pdf.sh: Add script.

Author: flexibeast

README.md

@@ -14,3 +14,10 @@ dependencies:
 - `mdBook`
 - `fd`
 - `pandoc`
+
+The [pdf.sh](./pdf.sh) script builds a PDF version of the Handbook. It requires
+the following dependencies:
+
+- `texlive`
+- `pandoc`
+- `poppler`

pdf.sh

@@ -0,0 +1,36 @@
+#!/bin/sh
+
+if [ ! -d pdf ]; then
+    mkdir pdf
+fi
+
+pandoc -f markdown -t pdf src/SUMMARY.md -o pdf/1.pdf
+
+I=2
+for FILE in $(awk -e 'match($0, /\([^)]+\)$/) { print substr($0, RSTART+1, RLENGTH-2) }' \
+                  src/SUMMARY.md); do
+    echo "Converting $FILE ..."
+    pandoc -f markdown -t pdf src/$FILE -o pdf/$I.pdf
+    I=$(($I + 1))
+done
+
+# Create list of sections in numeric, rather than lexicographic, order.
+# For portability, don't use seq(1) or jot(1) here.
+LIMIT=$I
+I=1
+SECTIONS=
+while [ "$I" -lt "$LIMIT" ]; do
+    SECTIONS="$SECTIONS $I.pdf"
+    I=$(($I + 1))
+done
+
+echo -n "Compiling Handbook ... "
+if [ -f handbook.pdf ]; then
+    rm handbook.pdf
+fi
+cd pdf
+pdfunite $SECTIONS ../handbook.pdf
+echo "done"
+
+cd ..
+rm -rf pdf