Skip to content

Commit 72215f4

Browse files
committed
Move the IJulia favicon/logo to the docs directory
This way we don't need to copy them repeatedly from the `deps/` directory, which makes the build script play nicely with LiveServer.jl.
1 parent 855eba2 commit 72215f4

File tree

4 files changed

+0
-8
lines changed

4 files changed

+0
-8
lines changed

.gitignore

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,4 @@
66
/deps/JUPYTER
77
/deps/julia-*
88
*.jl.*.cov
9-
/docs/src/assets/logo.svg
10-
/docs/src/assets/favicon.ico
119
Manifest*.toml

docs/make.jl

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,5 @@
11
using Documenter, IJulia
22

3-
# Copy assets from `deps` directory
4-
path_assets = joinpath(@__DIR__, "src/assets")
5-
path_deps = joinpath(@__DIR__, "../deps")
6-
mkpath(path_assets)
7-
cp(joinpath(path_deps, "ijuliafavicon.ico"), joinpath(path_assets, "favicon.ico"), force=true)
8-
cp(joinpath(path_deps, "ijulialogo.svg"), joinpath(path_assets, "logo.svg"), force=true)
93

104
# Make docs to `docs/build` directory
115
makedocs(
File renamed without changes.
File renamed without changes.

0 commit comments

Comments
 (0)