DviDvi		DviDvi is a small utility to modify the contents of
		a dvi file. For example, you could put two or 4
		pages on one sheet of paper, print one of them reversed
		and much else. This is V1.1, including bugfixes and
		revised sources. Author: Thomas Rockicki. Amiga-Port
		(better: PasTeX-Port): Thomas Baetzler and Jochen Wiedmann
