cvs commit: hugs98 configure.ac hugs98/docs/users_guide options.xml