diff: fix release checklist.

Tyson Dowd trd at cs.mu.OZ.AU
Tue Oct 13 15:02:57 AEST 1998 

Hi,

Another fix I had lying around.

===================================================================


Estimated hours taken: 0.5

compiler/notes/release_checklist.html:
	Document the need to check the release directory for junk files.
	Fix the <title> of this document (cut and paste error).


? zzdiff.1
cvs server: Diffing .
Index: release_checklist.html
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/notes/release_checklist.html,v
retrieving revision 1.8
diff -u -r1.8 release_checklist.html
--- release_checklist.html	1998/07/20 10:02:51	1.8
+++ release_checklist.html	1998/10/13 05:01:31
@@ -1,6 +1,6 @@
 <html>
 <head>
-<title>Mercury Coding Standard for the Mercury Project</title>
+<title>Release Checklist for the Mercury Project</title>
 </head>
 
 <body bgcolor="#ffffff" text="#000000">
@@ -74,6 +74,11 @@
      /home/mercury/public/test_mercury/scripts/mercury:
      set the RELEASE_VERSION and CHECKOUT_OPTS variables
      as explained in the comments there.
+
+<li> Look carefully in the checked out sources in
+     /home/mercury/public/test_mercury/murlibobo for junk files.
+     Sometimes people leave debugging output or .o files in these
+     directories, which just add to the size of the release.
 
 <li> Run tools/run_all_tests_from_cron on murlibobo.
      (Or just wait 24 hours or so.) <p>


-- 
Those who would give up essential liberty to purchase a little temporary
safety deserve neither liberty nor safety.     - Benjamin Franklin

Tyson Dowd   <tyson at tyse.net>   http://tyse.net

More information about the developers mailing list