pdf.sh: Add script.

Author: flexibeast

pdf.sh

@@ -0,0 +1,39 @@
+#!/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
+    # Temporary special-casing.
+    if [ "$I" -ne 13 -a "$I" -ne 34 ]; then
+        SECTIONS="$SECTIONS $I.pdf"
+    fi
+    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