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:"") {