[m-rev.] diff: fix INSTALL_CVS problem

[Ralph Becket]

Simon Taylor, Wednesday,  5 March 2003:
> 
> 
> Estimated hours taken: 0.5
> Branches: main, release
> 
> Mmake.common.in:
> Mmakefile:
> 	Touch the top-level Mercury,options file if it doesn't
> 	exist in Mmake.common rather than Mmakefile, so that it
> 	is touched even if mmake is run in a subdirectory.

s/Mercury,options/Mercury.options/

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------