Add favicon to docs build.

6 years ago · 88fd77e86d
2 changed files with 1 additions and 1 deletions
--- a/docs/make.jl
+++ b/docs/make.jl
@ -46,7 +46,7 @@ end
				@@ -46,7 +46,7 @@ end

 makedocs(
    format = Documenter.HTML(
-        assets = ["assets/custom.css"],
+        assets = ["assets/custom.css", "assets/favicon.ico"],
        prettyurls = haskey(ENV, "GITHUB_ACTIONS"),
    ),
    modules = [Literate],
--- a/docs/src/assets/favicon.ico
+++ b/docs/src/assets/favicon.ico