reintroduce prettyurls, I might have lost them somewhere.

JuliaManifolds · Nov 16, 2023 · da9743e · da9743e
1 parent bc45079
commit da9743e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/docs/make.jl b/docs/make.jl
@@ -109,7 +109,8 @@ tutorials_menu =
 bib = CitationBibliography(joinpath(@__DIR__, "src", "references.bib"); style=:alpha)
 makedocs(;
     format=Documenter.HTML(;
-        prettyurls=false, assets=["assets/favicon.ico", "assets/citations.css"]
+        prettyurls = get(ENV, "CI", nothing) == "true" || ("--prettyurls" ∈ ARGS),
+        false, assets=["assets/favicon.ico", "assets/citations.css"]
     ),
     modules=[
         Manopt,