dvi2tty: A TeX-DVI to ASCII Converter
 |
 |
 |
|||
|---|---|---|---|---|---|
| (auf gut Glück) | (meist engl.) | (falls vorhanden) |
- Zusammenfassung (meist engl.)
- DVI2TTY converts a TeX-DVI file into a readable ASCII text file. You can then do full text searches without finding the TeX macros. For documentation, see the man page (man dvi2tty) and /usr/share/doc/packages/dvi2tty. Authors: -------- Svante Lindahl <zap@cs.kth.sunet> Marcel Mol <marcel@duteca.et.tudelft.nl>
| Installieren: |
|
Status: |
|
Umfang: | 24 KiB |
|---|
Paket enthält Anwendung:
disdvi
dvi2tty