On Mon, Jun 23, 2008 at 12:30:00PM +0200, David Kastrup wrote: > Anyway, that's what "can be represented by DVI" was supposed to mean. > Most .dtx files will compile to special-free DVI. Without bookmarks and links? How boring ... :-(( Yours sincerely Heiko <oberdiek at uni-freiburg.de>