docs: add new logo as favicon

jj-vcs · Jan 29, 2025 · 96bf85f · 96bf85f
1 parent 93d98f1
commit 96bf85f
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 0 deletions.
diff --git a/docs/images/LICENSE b/docs/images/LICENSE
@@ -0,0 +1,3 @@
+This license applies to favicon.ico:
+
+This work © 2025 by J. Jennings is licensed under Creative Commons Attribution 4.0 International
diff --git a/docs/images/favicon-96x96.png b/docs/images/favicon-96x96.png
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -6,6 +6,7 @@ site_url: !ENV [SITE_URL_FOR_MKDOCS, 'https://jj-vcs.github.io/jj/']
 theme:
   name: 'material'
   language: 'en'
+  favicon: images/favicon-96x96.png
   features:
     # - navigation.top
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		This license applies to favicon.ico:

		This work © 2025 by J. Jennings is licensed under Creative Commons Attribution 4.0 International