zwingend benoetigt:
bash (+cd, mkdir, echo, cat, rm, cp, mv, touch, find, tar, gzip, date)
pdflatex (ggf. +cm-super-Schriften, Standard in Vorlage: Paket lmodern)
make
pdftops
pstops
ps2pdf
a2ps
gs
epstopdf
htlatex (Paket: TeX4ht)        <- fuer html-Erzeugung
latex                          <- fuer html-Erzeugung
convert (Paket: ImageMagick)   <- fuer html-Erzeugung
dvipng                         <- fuer html-Erzeugung
dvips                          <- fuer html-Erzeugung

optional:
svn
nautilus

enthaltene Skripte, die vom Makefile benoetigt/aufgerufen werden:
erzeuge_multi_pdf
erzeuge_multi_ps
pool/update_java_code_version.sh

Anmerkungen zu Tex4ht:
In der Datei "blatt_masterfiles/tex4ht.env" ist die Konfiguration fuer htlatex
hinterlegt. Weil htlatex als Ausgangsbasis fuer die HTML-Fassung mittels latex
die .dvi-Dateien erzeugt, werden fuer Abbildungen die .eps/.ps-Ausgangsdateien
benoetigt. Die Einstellungen fuer die Konvertierung dieser Abbildungen in
.png-Dateien sind ggf. in "tex4ht.env" vorzunehmen. Insbesondere der Abschnitt
in "tex4ht.env", in dem dvipng (und ggf. dvips) verwendet wird, ist relevant
und beeinflusst z.B. die Groesse der Abbildungen in der HTML-Fassung (Abschnitt
"Debian default"). Die aktuell eingesetzte "tex4ht.env" ist geeignet fuer ein
Ubuntu/Debian Linux-System (getestet: Ubuntu 12.04.2 LTS).

Stand: 29.03.2013 (woru)

