From c9fbe08ba5f5675aa23e164cb83e62ec3cfa8f9b Mon Sep 17 00:00:00 2001
From: wisberg <wisberg>
Date: Wed, 18 Dec 2002 20:10:46 +0000
Subject: [PATCH] doc props

---
 build/readme-build-module.html | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/build/readme-build-module.html b/build/readme-build-module.html
index e9e9faf43..e056ba6f6 100644
--- a/build/readme-build-module.html
+++ b/build/readme-build-module.html
@@ -11,7 +11,19 @@ from this directory.  To run Ant, use <a href="../lib/ant">../lib/ant</a>
 scripts and libraries.  In particular, when running Ant from eclipse,
 do not use the default Eclipse Ant classpath; remove those jars and
 add all the libraries in <a href="../lib/ant/lib">../lib/ant/lib</a>
-as well as in <a href="../lib/junit">../lib/junit</a>.
+as well as in <a href="../lib/junit">../lib/junit</a>.  
+Consider defining the following flag properties:
+<p>
+<table cellpadding="1" border="1">
+<tr><th>Property</th><th>Effect of setting it to any value</th>
+    </tr>
+<tr><td>check.build.jar
+    </td><td>fail if build.jar is out of date
+	</td></tr>
+<tr><td>release.build
+    </td><td>regenerate org/aspectj/bridge/Version.java
+	</td></tr>
+</table>			
 
 <p>
 The 
-- 
2.39.5