Add favicon

mrotteveel · mrotteveel · commit cb01c3552a21 · 2026-04-20T12:42:25.000+02:00
diff --git a/.gitattributes b/.gitattributes
@@ -24,5 +24,6 @@
 *.png           binary
 *.so            binary
 *.odt           binary
+*.ico           binary
 
 /gradlew        text    eol=lf
diff --git a/build.gradle b/build.gradle
@@ -76,5 +76,10 @@ tasks.register('makePages') {
             from asciidoctorPdf.outputs
             into layout.buildDirectory.dir('pages')
         }
+        copy {
+            from layout.projectDirectory.dir('src/docs/theme/jaybird-html')
+            include 'favicon.ico'
+            into layout.buildDirectory.dir('pages')
+        }
     }
 }
diff --git a/src/docs/theme/jaybird-html/docinfo/docinfo.html b/src/docs/theme/jaybird-html/docinfo/docinfo.html
@@ -2,4 +2,5 @@
 em.since{font-size:smaller;}
 em.until{font-size:smaller;}
 table.wide-table{font-size:xx-small}
-</style>
+</style>
+<link rel="icon" href="favicon.ico">
diff --git a/src/docs/theme/jaybird-html/favicon.ico b/src/docs/theme/jaybird-html/favicon.ico

Original file line number	Diff line number	Diff line change
`@@ -76,5 +76,10 @@ tasks.register('makePages') {`
`76`	`76`	`from asciidoctorPdf.outputs`
`77`	`77`	`into layout.buildDirectory.dir('pages')`
`78`	`78`	`}`
	`79`	`+ copy {`
	`80`	`+ from layout.projectDirectory.dir('src/docs/theme/jaybird-html')`
	`81`	`+ include 'favicon.ico'`
	`82`	`+ into layout.buildDirectory.dir('pages')`
	`83`	`+ }`
`79`	`84`	`}`
`80`	`85`	`}`