diff --git a/.cvsignore b/.cvsignore
index c3f7ac8f3..69abaa759 100644
--- a/.cvsignore
+++ b/.cvsignore
@@ -6,4 +6,5 @@ distribution
prj.el
emacs-jprj.el
bootstrap.bat.pif
+velocity.log
diff --git a/build.xml b/build.xml
index 4bc61ecc9..a5f43961b 100644
--- a/build.xml
+++ b/build.xml
@@ -417,7 +417,9 @@
-
+
+
+
diff --git a/docs/antnews.html b/docs/antnews.html
index 996aad335..62fc0eca1 100644
--- a/docs/antnews.html
+++ b/docs/antnews.html
@@ -39,7 +39,7 @@
News
- Documentation
+ Documentation
External Tools and Tasks
diff --git a/docs/external.html b/docs/external.html
index 6a16bf21a..0f1e689b6 100644
--- a/docs/external.html
+++ b/docs/external.html
@@ -37,7 +37,7 @@
News
- Documentation
+ Documentation
External Tools and Tasks
diff --git a/docs/faq.html b/docs/faq.html
index 413a9b7a0..65acf7a9a 100644
--- a/docs/faq.html
+++ b/docs/faq.html
@@ -37,7 +37,7 @@
News
- Documentation
+ Documentation
External Tools and Tasks
diff --git a/docs/index.html b/docs/index.html
index 6122b4d3d..9f2f8bea2 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -39,7 +39,7 @@
News
- Documentation
+ Documentation
External Tools and Tasks
diff --git a/docs/logos.html b/docs/logos.html
index 70b3f0e0c..7b14d84fa 100644
--- a/docs/logos.html
+++ b/docs/logos.html
@@ -37,7 +37,7 @@
News
- Documentation
+ Documentation
External Tools and Tasks
diff --git a/docs/problems.html b/docs/problems.html
index 6d56ebd8c..873e08632 100644
--- a/docs/problems.html
+++ b/docs/problems.html
@@ -37,7 +37,7 @@
News
- Documentation
+ Documentation
External Tools and Tasks
diff --git a/docs/resources.html b/docs/resources.html
index 3aadb47f1..11954c0af 100644
--- a/docs/resources.html
+++ b/docs/resources.html
@@ -37,7 +37,7 @@
News
- Documentation
+ Documentation
External Tools and Tasks
diff --git a/xdocs/stylesheets/project.xml b/xdocs/stylesheets/project.xml
index e330b5e6f..a49a230a2 100644
--- a/xdocs/stylesheets/project.xml
+++ b/xdocs/stylesheets/project.xml
@@ -14,7 +14,7 @@
+ href="/manual/index.html"/>