6ad85fe require tex(tex) instead of tetex in texinfo-tex

Authored and Committed by jnovy 13 years ago
1 file changed. 5 lines added. 2 lines removed.
    require tex(tex) instead of tetex in texinfo-tex
    
        
file modified
+5 -2