c95e4842e39136c75d653a3763073221e47d54a8
[barrelfish] / doc / 018-Practical-guide / generate_readme_tex.sh
1 #!/bin/bash
2 set -e
3 set -x
4 README="./README.rst"
5 CONVERTER="rst2latex"
6 # Generate html from restructured text (assuming docutils are installed)
7 ${CONVERTER} ${README} tmp.tex
8
9 # Replace class="title" attribute from H1 tag as it was clashing with something
10 # in Drupal
11 #sed -i 's/<h1 class="title">/<h1>/g' tmp.tex
12
13 # Remove all lines before <body> tag and after </body> tag.
14 ./cleanTex.awk tmp.tex > readme.tex
15
16 rm tmp.tex
17