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

[Peter Ross]

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
--------------------------------------------------------------------------