mdefelic@digi.lonestar.org (Mitch DeFelice) (12/11/90)
I'm currently using a version of dvi2tty program and it does a good job
converting the dvi file to ASCII. However, the dvi2tty program does not
seem to compensate for the different font sizes... Consequently the output
spacing is uneven and difficult to follow at times. (Please see below example)
1) Could anyone direct me to a version of dvi2tty that
produces a "Clean" output.
2) Does anyone have a detailed format description of the dvi file?
Thanks in advance,
Mitch De Felice
DVI2TTY output example:
--------------------------------------------------------------------
4 Release 43
4.1 Release Area Structure : : : : : : : : : : : : : : : : : : : 43
4.2 Security and Space Administration : : : : : : : : : : : : 44
4.3 Tool Enhancements for Release : : : : : : : : : : : : : : 45
4.4 Functionality : : : : : : : : : : : : : : : : : : : : : : : : 46
4.5 OBJREL Interaction : : : : : : : : : : : : : : : : : : : : 46
5 Future Enhancements 49
6 Summary 53
A Verifying the port 55
B VAX Tool Set Equivalents 63
B.1 AUDIT_PROGRAM : : : : : : : : : : : : : : : : : : : : 63
B.2 BROWSE_INC : : : : : : : : : : : : : : : : : : : : : : : 64
B.3 BUILD_FSM : : : : : : : : : : : : : : : : : : : : : : : : 64
B.4 BUILD_HLP : : : : : : : : : : : : : : : : : : : : : : : : : 65
B.5 BUILD_MMS : : : : : : : : : : : : : : : : : : : : : : : : 66tml@tik.vtt.fi (Tor Lillqvist) (12/12/90)
In article <1343@digi.lonestar.org> mdefelic@digi.lonestar.org (Mitch DeFelice) writes:
I'm currently using a version of dvi2tty program and it does a good job
converting the dvi file to ASCII. However, the dvi2tty program does not
seem to compensate for the different font sizes... Consequently the output
spacing is uneven and difficult to follow at times. (Please see below example)
1) Could anyone direct me to a version of dvi2tty that
produces a "Clean" output.
\begin{flame}
Oh geez, get a life.... I mean, get a suitable output device or don't
use TeX. Dvi2tty is not a "draft quality dvi driver," its purpose is
just to get a crude look at the line breaks etc. Dvi2tty cannot
"convert a dvi file to ASCII." Dvi2tty doesn't know how big the
characters are, because it doesn't open the tfm files.
2) Does anyone have a detailed format description of the dvi file?
Sure. Look in dvitype.web.
\end{flame}
Sorry for the flame... Nothing personal.
--
Tor Lillqvist,
working, but not speaking, for the Technical Research Centre of Finland