[m-rev.] trivial diff: document updates for new directories

[Julien Fischer]

Estimated hours taken: 0.5
Branches: main

Mmakefile:
 	Add a pointer to some places that may need to be updated when new
 	directories are added to the top-level of the Mercury source tree.

Julien.

Index: Mmakefile
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/Mmakefile,v
retrieving revision 1.126
diff -u -r1.126 Mmakefile
--- Mmakefile	5 Oct 2007 04:55:25 -0000	1.126
+++ Mmakefile	15 Oct 2007 10:46:05 -0000
@@ -22,6 +22,13 @@

  #-----------------------------------------------------------------------------#

+# NOTE: if you add another subdirectory here then you may need to also update
+# scripts/prepare_tmp_dir_grade_part and the `tar' target below.
+# If the directory you are adding will contain C files generated by the
+# Mercury compiler when included in the source distribution then you will
+# also need to update the code in configure.in that deletes those C files
+# before reinstalling the compiler in a more efficient grade.
+
  SUBDIRS = \
  		scripts \
  		util \

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