cvs commit: hugs98/src options.h.in