Herb-AI · ReubenJ · Oct 4, 2024 · Oct 4, 2024 · Oct 4, 2024 · ReubenJ
diff --git a/docs/make.jl b/docs/make.jl
@@ -1,6 +1,10 @@
-using Documenter
+using Documenter:
+    HTML,
+    deploydocs,
+    makedocs
 
-using Pluto, PlutoSliderServer
+using PlutoStaticHTML
+using Pkg: Pkg
 
 using Herb
 
@@ -11,27 +15,20 @@ using HerbInterpret
 using HerbCore
 using HerbSpecification
 
-# Create md file for tutorial that embeds html file
-basedir = joinpath(@__DIR__, "src", "tutorials")
-html_files = filter!(f -> occursin(r"\.html$", f), readdir(basedir)) # assumes all html file in directory are tutorials
+tutorials_dir = joinpath(dirname(@__DIR__), "docs", "src", "tutorials")
 
-for f in html_files
-    html_path = joinpath(basedir, f)
-    filename = replace(f, ".html" => "")
-    md_path = joinpath(basedir, "$filename.md")
-    content = """
-    # Tutorial $filename
-
-    <iframe src="$html_path" width="100%" height="600px"></iframe> 
-    """
-    open(md_path, "w") do file
-        write(
-            file,
-            content
-        )
-    end
+function build()
+    println("Building notebooks in $tutorials_dir")
+    use_distributed = false
+    output_format = documenter_output
+    bopts = BuildOptions(tutorials_dir; use_distributed, output_format)
+    build_notebooks(bopts)
+    Pkg.activate(@__DIR__)
+    return nothing
 end
 
+build()
+
 
 makedocs(
     modules=[HerbConstraints, HerbSearch, HerbGrammar, HerbSpecification, HerbInterpret, HerbCore],
@@ -62,9 +59,9 @@ makedocs(
             "HerbSearch.jl" => "HerbSearch/index.md",
         ],
     ],
-    format=Documenter.HTML(
+    format=HTML(
         sidebar_sitename=false,
-        size_threshold=512000,
+        size_threshold=2^20,
     ),
     warnonly=[:missing_docs, :cross_references, :doctest]
 )

diff --git a/docs/src/tutorials/abstract_syntax_trees.html b/docs/src/tutorials/abstract_syntax_trees.html
diff --git a/docs/src/tutorials/advanced_search.html b/docs/src/tutorials/advanced_search.html
diff --git a/docs/src/tutorials/advanced_search.jl b/docs/src/tutorials/advanced_search.jl
@@ -139,7 +139,10 @@ problem_2 = Problem([IOExample(Dict(), x) for x ∈ 1:5])
 iterator_3 = BFSIterator(g_2, :Index, max_depth=2)
 
 # ╔═╡ 4821fd3a-ff2d-4991-99ad-76608d11b1da
+# ╠═╡ disabled = true
+#=╠═╡
 solution_3 = synth(problem_2, iterator_3)
+  ╠═╡ =#
 
 # ╔═╡ b2eb08d7-3e53-46c5-84b1-e1fa0e07e291
 md"""

diff --git a/docs/src/tutorials/defining_grammars.html b/docs/src/tutorials/defining_grammars.html
diff --git a/docs/src/tutorials/getting_started_with_constraints.html b/docs/src/tutorials/getting_started_with_constraints.html
diff --git a/docs/src/tutorials/getting_started_with_herb.html b/docs/src/tutorials/getting_started_with_herb.html
diff --git a/docs/src/tutorials/working_with_interpreters.html b/docs/src/tutorials/working_with_interpreters.html