nicht angemeldet
Hallo Renate
Unter Linux und diversen "Unizes" sollte normalerweise "convert" gleich mitinstalliert sein. Das von Josef angeführte ImageMagic steckt dahinter.
Habe es schon lange nicht mehr benutzt aber wenn ich mich recht erinnere mußte man (zumindest damals) pdf erst in ps konvertieren (pdf2ps AFAIK) und dann durch convert jagen. Grase dazu sicherheitshalber auch mal alle Kommandos die mit "pdf2.../pdfto..." bzw "ps2/to ..." anfangen auf deinem System ab.
Die Optionen sind sehr reichhaltig und erfordern _einiges_ an Experimenten, da viele nur bei bestimmten Formaten Sinn machen. Etwas Scripting Know How solltest du also auch mitbringen. So erhalten einzelne Blätter eines Dokumentes eine fortlaufende Nummer in den Namen eingearbeitet also z.B. Doc.01.gif Doc.02.gif ..., hier steuert eine Aufrufoption ob animated Gif oder einzelne Gifs generiert werden und das Format der Nummerierung kannst du auch beeinflussen oder per Scripting nachbearbeiten.
TIP: Grundsätzlich solltest Du erwägen PNG statt GIF zu nehmen da die Bilder deutlich kleiner werden. Da kann man auch Kompressionsfaktor und Farbtiefe manipulieren (die sich dann natürlich bei der Qualität niederschlagen, s.u. ).
Beispiele:
Unter http://www.mathematik.tu-darmstadt.de/Math-Net/Lehrveranstaltungen/Lehrmaterial/WS2001-2002/MatheIfuerET/ findest du die Übungsblätter in PNG.
Unter http://www.mathematik.tu-darmstadt.de/Math-Net/Lehrveranstaltungen/Lehrmaterial/SS2001/MatheIVfuerET/Welcome.html viel schlechtere als JPGs
Größe pro Blatt ca 20k, aus PS generiert und das wiederum aus DVI bzw. Latex. Bei genauer Betrachtung entdeckst du beim PNG-Beispiel unten Unschärfen die ich mir für die hohe Kompression eingehandelt habe.
GIF kam damals nie in Betracht da die Datenmengen kein mensch runterladen würde.
Cheers
Rolf
PS: Ach ja diese PLT-files dürften AFAIK HPGL (HP Graphics Language) beinhalten (schau einfach rein wenn 90% des Textes aus "PD","PU" oder "PA" bestehen (PenDown/PenUp) ist es wohl HPGL). Sollte convert dieses nicht unterstützen bleibt immer noch erst nach ps zu konvertieren (jedes Format muß schließlich druckbar sein und die Vektorinformationen verlierst du so oder so) und dann wie oben weiterzuverfahren. Da HPGL ein uralter Standard ist dürfte es ansonsten auch massenhaft Konverter dafür geben.