Use the new working URL to fetch the Txt2Html.java from Tomcat repo, for converting WHATSNEW into a html file
diff --git a/docs.xml b/docs.xml
index f49e70f..4c70c0b 100644
--- a/docs.xml
+++ b/docs.xml
@@ -23,7 +23,7 @@
<property name="build.dir" value="build"/>
<tempfile property="temp.dir"/>
<mkdir dir="${temp.dir}/org/apache/tomcat/buildutil"/>
- <get src="http://svn.apache.org/viewvc/tomcat/trunk/java/org/apache/tomcat/buildutil/Txt2Html.java?revision=987920&view=co"
+ <get src="http://svn.apache.org/viewvc/tomcat/trunk/java/org/apache/tomcat/buildutil/Txt2Html.java?view=co&pathrev=987920"
dest="${temp.dir}/org/apache/tomcat/buildutil/Txt2Html.java"/>
<javac srcdir="${temp.dir}" destdir="${temp.dir}" includeAntRuntime="true"/>
<taskdef name="txt2html" classname="org.apache.tomcat.buildutil.Txt2Html" classpath="${temp.dir}"/>