[m-rev.] trivial diff: fix omission in 0.13 user's guide

[Julien Fischer]

Estimated hours taken: 0
Branches: release

doc/user_guide.texi:
	Fix an omission in the users's guide.

Julien.

Index: user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.472.2.2
diff -u -r1.472.2.2 user_guide.texi
--- user_guide.texi	13 Jun 2006 07:35:11 -0000	1.472.2.2
+++ user_guide.texi	3 Jul 2006 06:44:09 -0000
@@ -7728,7 +7728,9 @@

 @sp 1
 @item --c-include-directory @var{dir}
+ at item --c-include-dir @var{dir}
 @findex --c-include-directory
+ at findex --c-include-dir
 @cindex Include directories
 @cindex Directories
 Append @var{dir} to the list of directories to be searched for

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