569821b - Change default dvi viewer back to xdvi, and require tetex-xdvi for it

Authored and Committed by deji 16 years ago
    - Change default dvi viewer back to xdvi, and require tetex-xdvi for it
    
        
file modified
+4 -7
file modified
+5 -2