[m-dev.] Add .ispell_words to mercury/doc

Peter Ross petdr at cs.mu.OZ.AU
Thu Jul 8 12:47:43 AEST 1999


Hi,

Unless anyone has any objections, I will add a .ispell_words file to the
documentation directory.

Then in future when you are spell checking your changes, you will not
have to wade through all the variable names and texinfo commands.
To add a word to the .ispell_words file just press `I' for a correctly
spelled word to be added.

Pete.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list