Switch docs execution from Literate to Documenter

SunnySuite · Jul 19, 2023 · 94cedc2 · 94cedc2
1 parent 3c24157
commit 94cedc2
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/docs/make.jl b/docs/make.jl
@@ -13,7 +13,7 @@ example_destination = joinpath(@__DIR__, "src", "examples")
 example_doc_paths = ["examples/$name.md" for name in example_names]
 
 for source in example_sources
-    Literate.markdown(source, example_destination; execute, documenter=true)
+    Literate.markdown(source, example_destination; documenter=true)
 end
 
 makedocs(
@@ -27,7 +27,8 @@ makedocs(
         "Version History" => "versions.md",
     ],
     format = Documenter.HTML(
-        prettyurls = get(ENV, "CI", nothing) == "true"
+        prettyurls = get(ENV, "CI", nothing) == "true",
+        ansicolor = true
     ),
     draft=!execute
 )