Ah, OK verstanden.
Ich habe das jetzt mal ausprobiert. Bekomme aber folgenden Fehler beim Erzeugen der
HTML-Dateien:
Code:
!
Package pdftex.def Error: PDF mode expected, but DVI mode detected!
(pdftex.def) If you are using `latex', then call `pdflatex'.
(pdftex.def) Otherwise check and correct the driver options.
(pdftex.def) Error recovery by switching to PDF mode.