Is there some sensible way to deal with .dvi files if you don't have a decent printer around at the site in question - only a sim- ple-minded line printer? -- -Richard L. Goerwitz goer%sophist at uchicago.bitnet goer at sophist.uchicago.edu rutgers!oddjob!gide!sophist!goer