home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Atari FTP
/
ATARI_FTP_0693.zip
/
ATARI_FTP_0693
/
Tex
/
Dvi
/
dvi2ttyb.zoo
/
readme
< prev
Wrap
Text File
|
1991-06-22
|
2KB
|
60 lines
Kurzbeschreibung zu DVI2TTY
---------------------------
Jan Willamowius, 11.1.90
---------------------------
TeX ist eine schoene Sache, aber zumindest auf dem Atari ST kann es
eine ganze Weile dauern, bis man alle benoetigten Fonts erzeugt hat
um ein vorhandenes DVI-File auszudrucken. Auch die Druckzeiten koennen,
gerade bei 9-Nadeldruckern, beachtlich sein.
DVI2TTY ist eine kleine Utility, die ein DVI-File als ASCII ausgibt.
Das sieht zwar lange nicht so schoen aus wie eine echte TeX-Ausagbe,
geht aber recht schnell.
Auch alle diejenigen, die schon mal versucht haben aus einem DVI-File
wieder eine ASCII-Datei zu erzeugen werden DVI2TTY lieben. Man kann
die Ausgabe in eine Datei schreiben lassen, die man dann mit einem
ASCII-Editor bearbeiten kann.
Geschichliches:
---------------
DVI2TTY basiert auf einem Pascal Programm, dass Svante Lindahl (Schweden)
fuer den dortigen TOPS-20 Rechner geschrieben hat. Marcel J.E. Mol
(Niederlande) hat dieses Programm fuer Unix nach C portiert. Die Atari
Version basiert auf der letzteren.
Aufruf: dvi2tty dvifile[.dvi] [optionen]
Folgende Optionen sind moeglich:
-ofile Ausagebe in die angegebene datei, sonst auf stdout
-plist nur die Seiten ausgeben, deren TeX-Seitennummern in der
Liste aufgefuert sind
-Plist nur die Seiten ausgeben, deren logische Seitennummern in der
Liste aufgefuert sind
-wn Zeilenbreite auf n setzen, default 80
-l ^L statt FF als Seitentrenner ausgeben
-u schwedische/finische Umlaute als aaoAAO ausgeben (default)
-s schwedische/finische Umlaute als }{|][\\ ausgeben
Wichtig: Vor jeder Option muss unbedingt ein Leerzeichen eingegeben werden.
Wenn die auszugebende Datei z.B. MILKY.DVI heisst und in die Datei
WAY.TXT ausgegeben werden soll lautet der Aufruf:
dvi2tty milky -o way.txt
Gruss, Jan
-----
Jan Willamowius
Nienredder 6
2000 Hamburg 54
E-Mail: jan@janhh.hanse.de