Remove duplicate <hr> in javadocs

policeman-tools · Sep 24, 2015 · 575d789 · 575d789
1 parent 0c7ba65
commit 575d789
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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>