Re: cvs commit: hugs98/src MkInstal.in