[m-rev.] trivial diff: delete Aditi stuff from bindist Mmakefile

[Julien Fischer]

bindist/Mmakefile:
 	Delete some old Aditi related stuff.

Julien.

Index: Mmakefile
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/bindist/Mmakefile,v
retrieving revision 1.42
diff -u -r1.42 Mmakefile
--- Mmakefile	13 Aug 2008 15:08:54 -0000	1.42
+++ Mmakefile	18 Nov 2008 06:33:18 -0000
@@ -133,8 +133,6 @@
  	(dir=`pwd` && cd .. && \
  		tar -cf $$dir/$(MERCURY_VERSION)/extras.tar extras && \
  		gzip $$dir/$(MERCURY_VERSION)/extras.tar)
-	# This code is provided in the Aditi distribution.
-	rm -rf $(MERCURY_VERSION)/extras/aditi
  	if [ -d ../tests ]; then					\
  		(dir=`pwd` && cd .. && \
  			tar -cf $$dir/$(MERCURY_VERSION)/tests.tar tests && \
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------