Skip to content
Snippets Groups Projects
Commit de121907 authored by Miroslav Kratochvil's avatar Miroslav Kratochvil :bicyclist:
Browse files

clean up a bit

parent 28bd1249
No related branches found
No related tags found
No related merge requests found
......@@ -10,7 +10,8 @@ pages_branch = "gh-pages"
github_repo_slug = ENV["CI_PROJECT_NAMESPACE"] * "/" * ENV["CI_PROJECT_NAME"]
# Documenter tries to guess the repo slug from git remote URL but that doesn't
# work really well here, this is the only fallback. (See Documenter.jl
# work really well here, this is the only fallback. If this breaks, "Edit on
# GitHub" links will stop working. (See Documenter.jl source in
# src/Utilities/Utilities.jl, in November 2021 it was around line 500) -mk
ENV["TRAVIS_REPO_SLUG"] = github_repo_slug
......@@ -21,8 +22,6 @@ notebooks_basenames = filter(x -> endswith(x, ".jl"), readdir(notebooks_path))
notebooks = joinpath.(notebooks_path, notebooks_basenames)
notebooks_outdir = joinpath(@__DIR__, "src", "notebooks")
for notebook in notebooks
Literate.markdown(
notebook,
......@@ -57,6 +56,7 @@ cp(
force = true,
)
# a helper for sourcing the documentation files from directories
find_mds(path) =
joinpath.(
Ref(path),
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment