Add favicon to docs (#36875)

JuliaLang · Aug 24, 2020 · 41781b1 · 41781b1
1 parent 4ed484f
commit 41781b1
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/doc/make.jl b/doc/make.jl
@@ -194,7 +194,10 @@ else
  Documenter.HTML(
  prettyurls = ("deploy" in ARGS),
  canonical = ("deploy" in ARGS) ? "https://docs.julialang.org/en/v1/" : nothing,
- assets = ["assets/julia-manual.css", ],
+ assets = [
+ "assets/julia-manual.css",
+ "assets/julia.ico",
+ ],
  analytics = "UA-28835595-6",
  collapselevel = 1,
  sidebar_sitename = false,

diff --git a/doc/src/assets/julia.ico b/doc/src/assets/julia.ico