From a58ea16f7d28eee09632281caa8fd5a28b7b25da Mon Sep 17 00:00:00 2001 From: olly Date: Fri, 10 Jan 2020 09:54:22 +0000 Subject: [PATCH] Add favicon to javadocs. b/145393567 PiperOrigin-RevId: 289054937 --- RELEASENOTES.md | 1 + javadoc_util.gradle | 17 +++++++++++++++++ 2 files changed, 18 insertions(+) diff --git a/RELEASENOTES.md b/RELEASENOTES.md index a7cf918fea..5b9d4d2bc3 100644 --- a/RELEASENOTES.md +++ b/RELEASENOTES.md @@ -60,6 +60,7 @@ This issue caused FLAC streams with other bit depths to sound like white noise on earlier releases, but only when embedded in a non-FLAC container such as Matroska or MP4. +* Javadocs: Add favicon for easier identification in browser tabs ### 2.11.1 (2019-12-20) ### 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:"") {