diff --git a/docs/index.html b/docs/index.html index 523b74cf0..37e1b262f 100644 --- a/docs/index.html +++ b/docs/index.html @@ -2,7 +2,7 @@ -Ant +Ant User Manual @@ -28,7 +28,8 @@
  • Dave Walend (dwalend@cs.tufts.edu)
  • -

    Version $Id$

    +

    Version: @VERSION@

    +

    $Id$


    Table of Contents