build-web.sh

   1 #!/bin/bash
   2 ./gitinfohook.sh
   3 if [ -f /usr/bin/pandoc ]
   4 then
   5     pandoc \
   6         --smart \
   7         --data-dir . \
   8         --template basics_web \
   9         --toc \
  10         --toc-depth=2 \
  11         --email-obfuscation=references \
  12         --output=basics.html \
  13         basics.tex
  14 else
  15     echo "Error: pandoc executable is needed to generate web version"
  16 fi