texinfo is in <system>