Gast
#1211464
Hi, kennt jemand ein (freies und quelloffenes) Programm mit dem ich eine DVI-Datei in eines der angegebenen Bildformate umwandeln kann. Ich habe nach DVI2BMP oder ähnlichen gesucht, finde dort aber nur Dokumente die solche Programme nennen. Es gibt zwar DVI2PNG aber ich brauche ausdrücklich BMP, GIF oder JPG. (Klar, das man das als Zwischenschritt nehmen kann, aber das ist mir angesichts vieler kleiner Dokumente, die jeweils von Hand erstellt werden, zu ineffektiv). Ich benutze MikTex 2.7