diff --git a/docs/index.html b/docs/index.html
index 587c2aef6..049ffa57b 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -26,7 +26,7 @@
Dave Walend (dwalend@cs.tufts.edu)
-Version 1.2 - 2000/09/27
+Version 1.2 - 2000/10/10
Table of Contents
@@ -2622,19 +2622,19 @@ inclusion/exclusion of files works, and how to write patterns.
debug |
indicates whether there should be compiled with debug
- information ("on"). |
+ information ("off").
No |
optimize |
indicates whether there should be compiled with
- optimization ("on"). |
+ optimization ("off").
No |
deprecation |
indicates whether there should be compiled with deprecation
- information ("on"). |
+ information ("off").
No |
@@ -2650,7 +2650,7 @@ inclusion/exclusion of files works, and how to write patterns.
depend | enables dependency
- tracking for compilers that support this (jikes and modern) |
+ tracking for compilers that support this (jikes and classic)
No |