Fix a bug which had crept in which meant that you needed to have `info'

Estimated hours taken: 0.25

Fix a bug which had crept in which meant that you needed to have `info'
installed in order to build from the source distribution.

Mmakefile:
	In the rule for `mmake tar', make doc/mdb_doc.

Index: Mmakefile
===================================================================
RCS file: /home/staff/zs/imp/mercury/Mmakefile,v
retrieving revision 1.26
diff -u -r1.26 Mmakefile
--- Mmakefile	1998/10/22 05:22:07	1.26
+++ Mmakefile	1998/10/28 08:39:39
@@ -212,7 +212,7 @@
 	cd compiler && $(SUBDIR_MMAKE) cs tags
 	cd profiler && $(SUBDIR_MMAKE) depend
 	cd profiler && $(SUBDIR_MMAKE) cs tags
-	cd doc && $(SUBDIR_MMAKE) info html dvi
+	cd doc && $(SUBDIR_MMAKE) info html dvi mdb_doc
 	cd bindist && $(SUBDIR_MMAKE) bindist.configure
 	# the following command might fail on Windows?
 	-cd bindist && $(SUBDIR_MMAKE) bindist.build_vars
This commit is contained in:
Fergus Henderson
1998-10-28 08:43:31 +00:00
parent 43fb66fe39
commit 77cda6dabc

View File

@@ -212,7 +212,7 @@ tar: README INSTALL
cd compiler && $(SUBDIR_MMAKE) cs tags
cd profiler && $(SUBDIR_MMAKE) depend
cd profiler && $(SUBDIR_MMAKE) cs tags
cd doc && $(SUBDIR_MMAKE) info html dvi
cd doc && $(SUBDIR_MMAKE) info html dvi mdb_doc
cd bindist && $(SUBDIR_MMAKE) bindist.configure
# the following command might fail on Windows?
-cd bindist && $(SUBDIR_MMAKE) bindist.build_vars