optional_depends  "texinfo"  ""  ""  "for documentation" 
optional_depends  "teTeX"    ""  ""  "for dvi documentation" 
