--- build.xml.orig 2004-01-15 18:28:39.000000000 +0100
+++ build.xml 2011-02-25 14:27:15.000000000 +0100
@@ -142,7 +142,7 @@
-
@@ -157,7 +157,7 @@
-
@@ -174,7 +174,7 @@
-
@@ -184,7 +184,7 @@
-
@@ -194,7 +194,7 @@
-
@@ -210,7 +210,7 @@
-
@@ -219,7 +219,7 @@
-
@@ -228,14 +228,14 @@
-
-
@@ -319,8 +319,9 @@
windowtitle="${name} ${version} API"
doctitle="${name}"
bottom="${copyright}"
- stylesheetfile="${doc}/javadoc_stylesheet.css"
- />
+ stylesheetfile="${doc}/javadoc_stylesheet.css">
+
+