From 575d78977bb8856ed57222f034dca5d052580bf4 Mon Sep 17 00:00:00 2001
From: Uwe Schindler <uwe@thetaphi.de>
Date: Thu, 24 Sep 2015 11:54:45 +0200
Subject: [PATCH] Remove duplicate <hr> in javadocs

---
 build.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build.xml b/build.xml
index a6efa30e..235995cf 100644
--- a/build.xml
+++ b/build.xml
@@ -332,6 +332,7 @@
           <replaceregex pattern="CheckForbiddenApis(\w*?\.html)" replace="gradleApi\1" flags="gi"/>
           <replaceregex pattern="&lt;(img|link)\s.*?&gt;" replace="" flags="gi"/>
           <replaceregex pattern="&lt;(no|)script.*?\/(no|)script&gt;" replace="" flags="gis"/>
+          <replaceregex pattern="&lt;hr&gt;\s*&lt;hr&gt;" replace="" flags="gis"/>
           <!-- Java 7+ style workaround: -->
           <replaceregex pattern="\Q&lt;/head&gt;\E" replace="&lt;link rel=&quot;stylesheet&quot; href=&quot;classic-stylesheet.css&quot;&gt;\0" flags="i"/>
         </tokenfilter>