[m-rev.] diff: fix man page install directory

[Julien Fischer]

Branches: main, 11.01

Fix the man page installation directory.

scripts/Mmake.vars.in:
 	s/Man/man/

Julien.

Index: Mmake.vars.in
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/scripts/Mmake.vars.in,v
retrieving revision 1.115
diff -u -r1.115 Mmake.vars.in
--- Mmake.vars.in	17 Dec 2010 00:28:08 -0000	1.115
+++ Mmake.vars.in	20 Dec 2010 16:23:06 -0000
@@ -705,7 +705,7 @@
  INSTALL_TEXT_DIR	= $(INSTALL_PREFIX)/lib/mercury/doc
  INSTALL_PS_DIR		= $(INSTALL_PREFIX)/lib/mercury/doc
  INSTALL_PDF_DIR		= $(INSTALL_PREFIX)/lib/mercury/doc
-INSTALL_MAN_DIR		= $(INSTALL_PREFIX)/Man
+INSTALL_MAN_DIR		= $(INSTALL_PREFIX)/man
  INSTALL_HTML_DIR	= $(INSTALL_PREFIX)/lib/mercury/html
  INSTALL_MDB_DOC_DIR	= $(INSTALL_PREFIX)/lib/mercury/mdb
  INSTALL_ELISP_DIR	= $(INSTALL_PREFIX)/lib/mercury/elisp

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