dependencies: dejagnu depends on texinfo