cvs commit: hugs98/docs/users_guide miscellaneous.xml options.xml