trivial diff: clarification in doc/reference_manual.texi

[Fergus Henderson]

Estimated hours taken: 0.1

doc/reference_manual.texi:
	Clarify that module names in `include_module' declarations
	need not be fully-qualified.

Index: doc/reference_manual.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.116
diff -u -r1.116 reference_manual.texi
--- reference_manual.texi	1998/12/07 01:30:22	1.116
+++ reference_manual.texi	1999/01/30 03:27:33
@@ -2715,8 +2715,9 @@
 which matches that in the @samp{:- include_module} declaration
 in the parent, followed by the interface and (if necessary)
 implementation sections, and it may optionally end with a @samp{:- end_module}
-declaration.  (Note: the module names in the @samp{:- module}
-and @samp{:- end_module} declaration need not be fully-qualified.)
+declaration.  (Note: the module names in the @samp{:- module},
+ at samp{:- end_module}, and @samp{:- include_module} declarations
+need not be fully-qualified.)
 
 If an @samp{:- include_module} declaration occurs in the interface
 section of a module, then only the declarations (interfaces) of the sub-modules

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "Binaries may die
WWW: <http://www.cs.mu.oz.au/~fjh>  |   but source code lives forever"
PGP: finger fjh at 128.250.37.3        |     -- leaked Microsoft memo.