texinfo documentation for texinfo utilities
