cvs commit: hugs98/docs options.txt