diff: unpack mercury-extras into mercury/extras

[Fergus Henderson]

Mmakefile:
	Change the rule for `mmake tar' so that the
	mercury-<version>-extras.tar.gz file will unpack into a subdirectory
	mercury-<version>/extras rather than into the directory
	mercury-<version>-extras.

Index: Mmakefile
===================================================================
RCS file: /home/staff/zs/imp/mercury/Mmakefile,v
retrieving revision 1.9
diff -u -u -r1.9 Mmakefile
--- Mmakefile	1997/10/09 14:04:09	1.9
+++ Mmakefile	1997/10/11 13:27:01
@@ -191,9 +191,9 @@
 			gzip -9 > mercury-$(VERSION).tar.gz;		\
 		mv stuff-to-exclude/* mercury-$(VERSION);		\
 		rmdir stuff-to-exclude;					\
-		tar -cf - mercury-$(VERSION)-extras |			\
-			gzip -9 > mercury-$(VERSION)-extras.tar.gz;	\
 		mv mercury-$(VERSION)-extras mercury-$(VERSION)/extras; \
+		tar -cf - mercury-$(VERSION)/extras |			\
+			gzip -9 > mercury-$(VERSION)-extras.tar.gz;	\
 		mv mercury-$(VERSION)/tests tests;			\
 		mv mercury-$(VERSION) mercury				\
 	)

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