[m-rev.] diff: fix bug #173

[Julien Fischer]

Branches: main, 11.07

Fix bug #173 in Mantis.  The manual page for mmc in the source distribution
contains an error message reporting that the Mercury.config file cannot be
found.

doc/Mmakefile:
 	Tell mmc not to look for the standard library
 	(which implies --no-mercury-configuration-directory)
 	when building the manual pages.

Julien.

Index: doc/Mmakefile
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/doc/Mmakefile,v
retrieving revision 1.55
diff -u -r1.55 Mmakefile
--- doc/Mmakefile	30 Jul 2010 13:16:46 -0000	1.55
+++ doc/Mmakefile	18 Aug 2011 17:12:36 -0000
@@ -89,7 +89,8 @@
  M_ENV = \
  	MERCURY_PROFILER=../profiler/mercury_profile \
  	MERCURY_COMPILER=../compiler/mercury_compile \
-	MERCURY_MKINIT=../util/mkinit
+	MERCURY_MKINIT=../util/mkinit \
+	MCFLAGS=--no-mercury-stdlib-dir

  %.1: ../scripts/% make_manpage
  	$(M_ENV) ./make_manpage $< > $@

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------