build-web.sh

   1 #!/bin/bash
   2 ./gitinfohook.sh
   3 if [ -f /usr/bin/pandoc ]
   4 then
   5     cat includes/basics_web_header.html > basics.html
   6     pandoc \
   7         --smart \
   8         --table-of-contents \
   9         --toc-depth=2 \
  10         --output=- \
  11         basics.tex >> basics.html
  12 else
  13     echo "Error: pandoc executable is needed to generate web version"
  14 fi