git.barrelfish.org Git - barrelfish/blob - 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