render.sh

   1 #!/bin/bash
   2
   3 PDFLATEX="pdflatex"
   4
   5 TALKS="2012_-_Introduction_to_the_Pakfire_Build_Service"
   6 TALKS="${TALKS} 2014_-_A_look_into_the_past_and_future"
   7 TALKS="${TALKS} 2015_-_IPFire_3_Networking"
   8
   9 for talk in ${TALKS}; do
  10         (
  11                 pushd "${talk}"
  12                 [ "main.tex" -nt "main.pdf" ] || exit 0
  13
  14                 if ${PDFLATEX} main < /dev/null; then
  15                         cat "main.pdf" > "../${talk}.pdf"
  16                 fi
  17                 popd
  18         )
  19 done