Use HTTPS URL for fetching doc generation tool

diffblue · May 23, 2019 · 9b5ec2a · 9b5ec2a
1 parent b845192
commit 9b5ec2a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs.xml b/docs.xml
@@ -21,7 +21,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?view=co&amp;pathrev=987920"
+        <get src="https://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}"/>