texinfo documentation for the CVS version control system