Update make.jl

amontoison · amontoison · commit 13a96b560d12 · 2025-08-19T00:58:19.000-05:00
diff --git a/docs/make.jl b/docs/make.jl
@@ -4,6 +4,7 @@ makedocs(
   modules = [Krylov],
   doctest = true,
   linkcheck = true,
+  linkcheck_ignore = [r"https://www.emis.de/.*"],
   format = Documenter.HTML(assets = ["assets/style.css"],
                            ansicolor = true,
                            prettyurls = get(ENV, "CI", nothing) == "true",
