Add symlink to class05 when making docs

Author: ivanightingale

docs/make.jl

@@ -25,6 +25,9 @@ if !isdir(build_dir)
     symlink(joinpath(repo_dir, "class02"),
         joinpath(repo_dir, "docs", "src", "class02")
     )
+    symlink(joinpath(repo_dir, "class05"),
+        joinpath(repo_dir, "docs", "src", "class05")
+    )
 end
 
 makedocs(
@@ -57,6 +60,7 @@ end
 
 rm(joinpath(repo_dir, "docs", "src", "class01"), force=true)
 rm(joinpath(repo_dir, "docs", "src", "class02"), force=true)
+rm(joinpath(repo_dir, "docs", "src", "class05"), force=true)
 
 # In case we want to generate HTML from Pluto notebooks in CI
 # plutos = [