[m-rev.] diff: add `--c-include-dir'

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main, release

compiler/options.m:
doc/user_guide.texi:
	Add `--c-include-dir' as a synonym for `--c-include-directory'.

Julien.

Index: compiler/options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/options.m,v
retrieving revision 1.511
diff -u -r1.511 options.m
--- compiler/options.m	26 Apr 2006 03:05:38 -0000	1.511
+++ compiler/options.m	2 May 2006 07:24:04 -0000
@@ -2062,6 +2062,7 @@
 % However for the moment they are just synonyms.
 long_option("c-debug",              target_debug).
 long_option("c-include-directory",  c_include_directory).
+long_option("c-include-dir",        c_include_directory).
 long_option("ansi-c",               ansi_c).
 long_option("cflags",               cflags).
 long_option("cflag",                quoted_cflag).
@@ -4224,7 +4225,7 @@
         "\t(This has the same effect as `--cflags ""-g""'",
         "\tand disables stripping of the executable.)",

-        "--c-include-directory <dir>",
+        "--c-include-directory <dir>, --c-include-dir <dir>",
         "\tAppend <dir> to the list of directories to be searched for",
         "\tC header files.  Note that if you want to override",
         "\tthis list, rather than append to it, then you can set the",
Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.474
diff -u -r1.474 user_guide.texi
--- doc/user_guide.texi	26 Apr 2006 03:06:26 -0000	1.474
+++ doc/user_guide.texi	2 May 2006 07:50:55 -0000
@@ -7709,6 +7709,7 @@

 @sp 1
 @item --c-include-directory @var{dir}
+ at item --c-include-dir @var{dir}
 @findex --c-include-directory
 @cindex Include directories
 @cindex Directories

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