optional_depends "texinfo" "" "" "for documentation"
optional_depends "texlive" "" "" "for dvi documentation"
