[m-rev.] diff: document ./configure --enable-libgrades better

[Peter Ross]

Hi,


===================================================================


Estimated hours taken: 0.25
Branches: main

configure.in:
	Document that --enable-libgrades takes a comma-separated list
	of grades as its argument.


Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.343
diff -u -r1.343 configure.in
--- configure.in	2 Dec 2002 11:24:19 -0000	1.343
+++ configure.in	23 Dec 2002 11:27:45 -0000
@@ -2201,7 +2201,11 @@
 enable_dotnet_grades="$enableval",enable_dotnet_grades=yes)
 
 AC_ARG_ENABLE(libgrades,
-[  --enable-libgrades=...  install exactly the given versions of the library],
+[  --enable-libgrades=...
+                          install exactly the given versions of the library.
+			  The versions are specified using a comma-separated
+			  list.
+],
 enable_libgrades_given=yes;enable_libgrades="$enableval",enable_libgrades_given=no)
 
 if test "$enable_most_grades" = no; then

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