Add favicon to javadocs. b/145393567

PiperOrigin-RevId: 289054937
This commit is contained in:
olly 2020-01-10 09:54:22 +00:00 committed by Oliver Woodman
parent 7e5d6debcc
commit a58ea16f7d
2 changed files with 18 additions and 0 deletions

View File

@ -60,6 +60,7 @@
This issue caused FLAC streams with other bit depths to sound like white noise 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 on earlier releases, but only when embedded in a non-FLAC container such as
Matroska or MP4. Matroska or MP4.
* Javadocs: Add favicon for easier identification in browser tabs
### 2.11.1 (2019-12-20) ### ### 2.11.1 (2019-12-20) ###

View File

@ -27,6 +27,23 @@ ext.fixJavadoc = {
ant.replaceregexp(match:oracleLink, replace:oracleFixed, flags:'g') { ant.replaceregexp(match:oracleLink, replace:oracleFixed, flags:'g') {
fileset(dir: "${javadocPath}", includes: "**/*.html") fileset(dir: "${javadocPath}", includes: "**/*.html")
} }
// Add favicon to each page
def headTag = "<head>"
def headTagWithFavicon = "<head>" +
"<!-- start favicons snippet, use https://realfavicongenerator.net/ -->" +
"<link rel=\"apple-touch-icon\" sizes=\"180x180\" href=\"/assets/apple-touch-icon.png\">" +
"<link rel=\"icon\" type=\"image/png\" sizes=\"32x32\" href=\"/assets/favicon-32x32.png\">" +
"<link rel=\"icon\" type=\"image/png\" sizes=\"16x16\" href=\"/assets/favicon-16x16.png\">" +
"<link rel=\"manifest\" href=\"/assets/site.webmanifest\">" +
"<link rel=\"mask-icon\" href=\"/assets/safari-pinned-tab.svg\" color=\"#fc4d50\">" +
"<link rel=\"shortcut icon\" href=\"/assets/favicon.ico\">" +
"<meta name=\"msapplication-TileColor\" content=\"#ffc40d\">" +
"<meta name=\"msapplication-config\" content=\"/assets/browserconfig.xml\">" +
"<meta name=\"theme-color\" content=\"#ffffff\">" +
"<!-- end favicons snippet -->"
ant.replaceregexp(match:headTag, replace:headTagWithFavicon, flags:'g') {
fileset(dir: "${javadocPath}", includes: "**/*.html")
}
// Remove date metadata that changes every time Javadoc is generated. // Remove date metadata that changes every time Javadoc is generated.
def javadocGeneratedBy = "<!-- Generated by javadoc.*?-->\n" def javadocGeneratedBy = "<!-- Generated by javadoc.*?-->\n"
ant.replaceregexp(match:javadocGeneratedBy, replace:"") { ant.replaceregexp(match:javadocGeneratedBy, replace:"") {