add favicon (#286)

JuliaGeometry · Feb 5, 2024 · 9b33ca8 · 9b33ca8
1 parent 5407354
commit 9b33ca8
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/docs/make.jl b/docs/make.jl
@@ -10,7 +10,7 @@ makedocs(;
     format=Documenter.HTML(;
         prettyurls=get(ENV, "CI", "false") == "true",
         canonical="https://JuliaGeometry.github.io/Rotations.jl",
-        assets = ["assets/custom.css"],
+        assets = ["assets/custom.css", "assets/favicon.ico"],
         repolink = "https://github.com/JuliaGeometry/Rotations.jl",
     ),
     pages=[

diff --git a/docs/src/assets/favicon.ico b/docs/src/assets/favicon.ico