manual/presentation.sh

   1 #!/bin/bash
   2
   3 fast_mode=false
   4
   5 set -- $(getopt fu "$@")
   6 while [ $# -gt 0 ]; do
   7         case "$1" in
   8                 -f)
   9                         fast_mode=true
  10                         ;;
  11                 --)
  12                         shift
  13                         break
  14                         ;;
  15                 -*)
  16                         echo "$0: error - unrecognized option $1" 1>&2
  17                         exit 1
  18                         ;;
  19                 *)
  20                         break
  21         esac
  22         shift
  23 done
  24
  25 PDFTEX_OPT="-shell-escape -halt-on-error"
  26
  27 set -ex
  28
  29 if ! $fast_mode; then
  30         ! md5sum *.aux *.snm *.nav *.toc > autoloop.old
  31         make -C PRESENTATION_Intro
  32         make -C PRESENTATION_ExSyn
  33         make -C PRESENTATION_ExAdv
  34         make -C PRESENTATION_ExOth
  35         make -C PRESENTATION_Prog
  36 fi
  37
  38 set -ex
  39
  40 pdflatex $PDFTEX_OPT presentation.tex
  41
  42 if ! $fast_mode; then
  43         while
  44                 md5sum *.aux *.snm *.nav *.toc > autoloop.new
  45                 ! cmp autoloop.old autoloop.new
  46         do
  47                 cp autoloop.new autoloop.old
  48                 pdflatex $PDFTEX_OPT presentation.tex
  49         done
  50
  51         rm -f autoloop.old
  52         rm -f autoloop.new
  53 fi
  54