"J.H.M. Dassen" <jdassen@wi.leidenuniv.nl> writes: > You can use "see" from the "mime-support" package to view compressed/gzipped > DVI files. Sigh...A simple "xdvi" would be a lot nicer. Let me rephrase my wish then: I would if I could get some global option to get the documentation uncompressed. For some reason the /usr/doc hierarchy is where my expectations are most add odds with debian policy. Jan