From dd104b663a50d5dc8305b5d8c358b7cd03d58739 Mon Sep 17 00:00:00 2001
From: Andrew Hutchings <andrew@linuxjedi.co.uk>
Date: Mon, 19 Nov 2012 12:25:30 +0000
Subject: [PATCH] Add temporary .sh file to build PDF doc

Can't use Makefile as this will break Debian package building.  Long-term
it would be good to find a Python based solution to this

Change-Id: I586c805345b7c72553cbd5a0ce71ee94c29d623b
---
 build_pdf.sh | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100755 build_pdf.sh

diff --git a/build_pdf.sh b/build_pdf.sh
new file mode 100755
index 00000000..edf0d43f
--- /dev/null
+++ b/build_pdf.sh
@@ -0,0 +1,6 @@
+#!/bin/bash
+python setup.py build_sphinx_latex
+# Fix option double dashes in latex output
+perl -i -pe 's/\\bfcode\{--(.*)\}/\\bfcode\{-\{\}-\1\}/g' build/sphinx/latex/*.tex
+perl -i -pe 's/\\index\{(.*?)--(.*?)\}/\\index\{\1-\{\}-\2\}/g' build/sphinx/latex/*.tex
+make -C build/sphinx/latex all-pdf