diff --git a/docs/index.html b/docs/index.html index 049ffa57b..0e7de4a2e 100644 --- a/docs/index.html +++ b/docs/index.html @@ -26,7 +26,7 @@
  • Dave Walend (dwalend@cs.tufts.edu)
  • -

    Version 1.2 - 2000/10/10

    +

    Version 1.2 - 2000/10/12


    Table of Contents

    @@ -2555,7 +2555,7 @@ inclusion/exclusion of files works, and how to write patterns.

    destdir location where to store the class files. - Yes + No (defaults to - the first - srcdir) includes