Unreviewed dvi docs patch

[John Levon]

Mike, I haven't had an "OK" from you on this patch. Is it ok for 1.2.0 ?

thanks
john

-- 
"Voodoo Programming:  Things programmers do that they know shouldn't work but
 they try anyway, and which sometimes actually work, such as recompiling
 everything."
        - Karl Lehenbauer

viewdvidoc.diff.gz