diff: mdbrc bug fix

[Fergus Henderson]

Fix a bug where the debugger was unable to find the `mdbrc' script,
since it had been installed into the wrong directory.

Mmake.common.in:
doc/Mmakefile:
	Rename the `INSTALL_DOC_DIR' variable and `install_doc' targets
	as `INSTALL_MDB_DOC_DIR' and `install_mdb_doc', to more accurately
	reflect their function.
	Change the value of the INSTALL_MDB_DOC_DIR so that it installs
	into lib/mercury/mdb instead of lib/mercury/doc, because (a)
	the documentation is in `mdb script' format, which is not really
	suitable as an end-user documentation format, and (b) that
	is where the debugger expected it to be.

Index: Mmake.common.in
===================================================================
RCS file: /home/mercury1/repository/mercury/Mmake.common.in,v
retrieving revision 1.33
diff -u -r1.33 Mmake.common.in
--- Mmake.common.in	1998/10/16 06:16:42	1.33
+++ Mmake.common.in	1998/10/19 14:26:59
@@ -59,7 +59,7 @@
 INSTALL_PS_DIR 		= $(INSTALL_PREFIX)/lib/mercury/doc
 INSTALL_MAN_DIR 	= $(INSTALL_PREFIX)/man
 INSTALL_HTML_DIR 	= $(INSTALL_PREFIX)/lib/mercury/html
-INSTALL_DOC_DIR 	= $(INSTALL_PREFIX)/lib/mercury/doc
+INSTALL_MDB_DOC_DIR 	= $(INSTALL_PREFIX)/lib/mercury/mdb
 
 # Specify the Mercury compiler to use for bootstrapping
 MC			= @BOOTSTRAP_MC@
Index: doc/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/Mmakefile,v
retrieving revision 1.13
diff -u -r1.13 Mmakefile
--- Mmakefile	1998/10/16 06:18:16	1.13
+++ Mmakefile	1998/10/19 14:26:34
@@ -167,7 +167,7 @@
 #-----------------------------------------------------------------------------#
 
 .PHONY: install
-install: install_info install_html install_dvi install_manpages install_doc
+install: install_info install_html install_dvi install_manpages install_mdb_doc
 	# install_text install_ps
 
 .PHONY: install_info
@@ -201,10 +201,10 @@
 		mkdir -p $(INSTALL_MAN_DIR)/man1
 	cp *.1 $(INSTALL_MAN_DIR)/man1
 
-.PHONY: install_doc
-install_doc: mdb_doc
-	-[ -d $(INSTALL_DOC_DIR) ] || mkdir -p $(INSTALL_DOC_DIR)
-	cp mdb_doc $(INSTALL_DOC_DIR)
+.PHONY: install_mdb_doc
+install_mdb_doc: mdb_doc
+	-[ -d $(INSTALL_MDB_DOC_DIR) ] || mkdir -p $(INSTALL_MDB_DOC_DIR)
+	cp mdb_doc $(INSTALL_MDB_DOC_DIR)
 
 # The uninstall rule here only removes the info files; the others
 # are removed by the top-level uninstall rule.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.