diff --git a/docs/Project.toml b/docs/Project.toml index 95b62c018..f0b02b67a 100644 --- a/docs/Project.toml +++ b/docs/Project.toml @@ -4,6 +4,6 @@ MPI = "da04e1cc-30fd-572f-bb4f-1f8673147195" MPIPreferences = "3da0fdf6-3ccc-4f1b-acd9-58baa6c99267" [compat] -Documenter = "1" +Documenter = "1.7" MPIPreferences = "0.1" MPI = "0.20" diff --git a/docs/make.jl b/docs/make.jl index 2ce24ec7d..69e14c99a 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -78,6 +78,10 @@ makedocs( ], "refindex.md", ], + # Run linkcheck tests only on CI, to speed up building of documentation locally. If one + # wants to run the linkchecks locally they can set the environment variable `CI=true`. + linkcheck = get(ENV, "CI", "false") == "true", + linkcheck_useragent = nothing, ) deploydocs(