[m-dev.] diff: remove support for `.mod' files

[Fergus Henderson]

Fergus Henderson, you wrote:
> 
> doc/user_guide.texi
> 	Delete mention of `.mod' files.

Oops, forgot the diff for that part.

Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.104
diff -u -r1.104 user_guide.texi
--- user_guide.texi     1997/11/13 06:27:48     1.104
+++ user_guide.texi     1997/11/21 07:00:43
@@ -154,12 +154,6 @@
 Files ending in @file{.dep} are automatically-generated Makefile fragments
 which contain the rules for an entire program.
 
-In the source code for the Mercury runtime library,
-we use a few files ending in @file{.mod};
-these are preprocessed using the perl script @samp{mod2c} to produce C files.
-(Originally the Mercury compiler also produced @file{.mod} files,
-but now we compile directly to C.)
-
 As usual, @file{.c} files are C source code,
 @file{.h} files are C header files,
 @file{.o} files are object code,

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.