add favicon.ico

PTsolvers · Jul 22, 2024 · e5841fa · e5841fa
1 parent e4c6c52
commit e5841fa
Show file tree

Hide file tree

Showing 2 changed files with 184 additions and 1 deletion.
diff --git a/docs/make.jl b/docs/make.jl
@@ -71,7 +71,8 @@ makedocs(;
     sitename="JustRelax.jl",
     authors="Albert de Montserrat, Pascal Aellig and contributors",
     modules=[JustRelax],
-    format=Documenter.HTML(; prettyurls=get(ENV, "CI", nothing) == "true",
+    format=Documenter.HTML(; assets = ["assets/favicon.ico"],
+    prettyurls=get(ENV, "CI", nothing) == "true",
     size_threshold_ignore = ["man/listfunctions.md"]), # easier local build
 
     warnonly = Documenter.except(:footnote),