965dc7 Remove unneeded build require on tetex.

Authored and Committed by James Antill 10 years ago
1 file changed. 5 lines added. 2 lines removed.
    Remove unneeded build require on tetex.
    
        
file modified
+5 -2