[m-rev.] diff: improve documentation for smart recompilation

[Simon Taylor]

Estimated hours taken: 0.1
Branches: main

compiler/options.m:
doc/user_guide.texi:
	Improve the documentation for `--smart-recompilation'.
	`--smart-recompilation' does not yet work with
	`--intermodule-optimization'.



Index: compiler/options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/options.m,v
retrieving revision 1.333
diff -u -u -r1.333 options.m
--- compiler/options.m	2001/08/11 14:09:48	1.333
+++ compiler/options.m	2001/08/12 11:02:09
@@ -1861,7 +1861,8 @@
 		"\tWhen compiling, write program dependency information",
 		"\tto be used to avoid unnecessary recompilations if an",
 		"\timported module's interface changes in a way which does",
-		"\tnot invalidate the compiled code.",
+		"\tnot invalidate the compiled code. `--smart-recompilation'",
+		"\tdoes not yet work with `--intermodule-optimization'.",
 		"--no-assume-gmake",
 		"\tWhen generating `.dep' files, generate Makefile",
 		"\tfragments that use only the features of standard make;",
Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.271
diff -u -u -r1.271 user_guide.texi
--- doc/user_guide.texi	2001/08/11 14:09:52	1.271
+++ doc/user_guide.texi	2001/08/12 11:01:48
@@ -3748,7 +3748,8 @@
 When compiling, write program dependency information
 to be used to avoid unnecessary recompilations if an
 imported module's interface changes in a way which does
-not invalidate the compiled code.
+not invalidate the compiled code. @samp{--smart-recompilation} does
+not yet work with @samp{--intermodule-optimization}.
 
 @item --no-assume-gmake
 @findex --no-assume-gmake
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------