Bevor die TeX-Dateien bersetzt werden knnen, mssen evtl. vorher die
zugehrigen DOT-Graphiken im Verzeichnis "figures" erstellt werden.

Fr latex:
  dot -Tps2 <datei.dot> -o <datei.eps>

Fr pdflatex:
  dot -Tjpg <datei.dot> -o <datei.jpg>

Oder erst EPS Graphiken erstellen (wie oben), und dann diese in ein PDF
umwandeln (ps2pdf <datei.eps>). Tatschlich erzeugt man damit die besten
Ergebnisse, wenn man pdflatex verwenden will. DOT kann theoretisch auch
direkt PDFs erstellen, aber irgendwie waren diese Dateien nicht zu
gebrauchen.

Alle auf einmal erzeugen (mit einer Bash):
  cd figures
  for f in info-iii-*.dot; do
    eps=`basename $f .dot`.eps
    dot -Tps2 $f -o $eps
    ps2pdf $eps
  done
  cd ..
  for f in info-iii-??.tex; do
    latex $f
    latex $f
    pdflatex $f
  done

