From 0f022d387cdfecb386ee78537f58194d5155d28d Mon Sep 17 00:00:00 2001
From: Jaikiran Pai <jaikiran@apache.org>
Date: Fri, 15 Mar 2019 16:04:12 +0530
Subject: [PATCH] Use the new working URL to fetch the Txt2Html.java from
 Tomcat repo, for converting WHATSNEW into a html file

---
 docs.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs.xml b/docs.xml
index f49e70f99..4c70c0be5 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&amp;view=co"
+        <get src="http://svn.apache.org/viewvc/tomcat/trunk/java/org/apache/tomcat/buildutil/Txt2Html.java?view=co&amp;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}"/>