libra/build_pdf.sh
Andrew Hutchings dd104b663a 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
2012-11-19 12:25:30 +00:00

7 lines
297 B
Bash
Executable File

#!/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