From a0eb081aed0b73fedc687e06c8d122baedc40789 Mon Sep 17 00:00:00 2001 From: Don Turner Date: Fri, 10 Jan 2020 10:24:22 +0000 Subject: [PATCH] Add favicon to javadocs --- javadoc_util.gradle | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/javadoc_util.gradle b/javadoc_util.gradle index cff5f29392..d5b1f56720 100644 --- a/javadoc_util.gradle +++ b/javadoc_util.gradle @@ -27,6 +27,23 @@ ext.fixJavadoc = { ant.replaceregexp(match:oracleLink, replace:oracleFixed, flags:'g') { fileset(dir: "${javadocPath}", includes: "**/*.html") } + // Add favicon to each page + def headTag = "" + def headTagWithFavicon = "" + + "" + + "" + + "" + + "" + + "" + + "" + + "" + + "" + + "" + + "" + + "" + ant.replaceregexp(match:headTag, replace:headTagWithFavicon, flags:'g') { + fileset(dir: "${javadocPath}", includes: "**/*.html") + } // Remove date metadata that changes every time Javadoc is generated. def javadocGeneratedBy = "\n" ant.replaceregexp(match:javadocGeneratedBy, replace:"") {