update

Author: andrewrosemberg

.github/workflows /documentation.yml

@@ -21,6 +21,9 @@ jobs:
       - uses: julia-actions/cache@v2
       - name: Install dependencies
         run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
+      - name: Setup symlink
+        run: ln -s ../../class01/class01.md class01.md
+        working-directory: docs/src
       - name: Build and deploy
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

docs/make.jl

@@ -3,8 +3,14 @@ using Pluto
 
 include("definitions.jl")
 
+repo_dir = dirname(@__DIR__)
+build_dir = joinpath(repo_dir, "docs", "build")
+
+plutos = [
+    joinpath(repo_dir, "class01", "background_materials", "basics_math.jl"),
+]
+
 makedocs(
-    modules=[LearningToControlClass],
     sitename = "LearningToControlClass",
     format = Documenter.HTML(;
         assets = ["assets/wider.css", "assets/redlinks.css"],
@@ -16,11 +22,24 @@ makedocs(
             ),
         )),
     ),
-    pages = [
-        "Home" => "index.md",
+    pages  = [
+        "Home"   => "index.md",
+        "Class 1" => "class01.md",
     ],
 )
 
+s = Pluto.ServerSession();
+for pluto in plutos
+    nb = Pluto.SessionActions.open(s, pluto; run_async=false)
+    html_contents = Pluto.generate_html(nb; binder_url_js="undefined")
+    filename = replace(pluto, repo_dir => build_dir)
+    html_path = replace(filename, r"\.jl$" => ".html")
+    mkpath(dirname(html_path))
+    open(html_path, "w") do f
+        write(f, html_contents)
+    end
+end
+
 # Documenter can also automatically deploy documentation to gh-pages.
 # See "Hosting Documentation" and deploydocs() in the Documenter manual
 # for more information.