diff: fix bug in `mmake tar'

[Fergus Henderson]

Estimated hours taken: 0.1

Mmakefile:
	Fix a bug in the rule for `mmake tar':
	to make all the interface files in the library directory,
	it needs to do `mmake all-ints', not `mmake ints opts'. 
	(Also there is no need to explicitly make the `ints' in the
	compiler or profiler directory.  The necessary int files will
	be built automatically when building the .c files.)

Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/Mmakefile,v
retrieving revision 1.17
diff -u -u -r1.17 Mmakefile
--- Mmakefile	1998/02/11 03:54:03	1.17
+++ Mmakefile	1998/03/07 13:12:02
@@ -166,11 +166,11 @@
 	cd util && mmake
 	cd runtime && $(SUBDIR_MMAKE) cs runtime.init
 	cd library && $(SUBDIR_MMAKE) depend
-	cd library && $(SUBDIR_MMAKE) ints opts cs libmercury.init tags
+	cd library && $(SUBDIR_MMAKE) all-ints cs libmercury.init tags
 	cd compiler && $(SUBDIR_MMAKE) depend
-	cd compiler && $(SUBDIR_MMAKE) ints cs tags
+	cd compiler && $(SUBDIR_MMAKE) cs tags
 	cd profiler && $(SUBDIR_MMAKE) depend
-	cd profiler && $(SUBDIR_MMAKE) ints cs tags
+	cd profiler && $(SUBDIR_MMAKE) cs tags
 	cd doc && $(SUBDIR_MMAKE) info html dvi
 	cd bindist && $(SUBDIR_MMAKE) bindist.configure
 	# the following command might fail on Windows?
-- 
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.