Added lab11 to make script.

janfrancu · janfrancu · commit 8c57c531eb0b · 2022-01-06T22:59:42.000+01:00
diff --git a/docs/make.jl b/docs/make.jl
@@ -100,6 +100,7 @@ lecture_10 = [
 
 lecture_11 = [
     "Lecture" => "./lecture_11/lecture.md"
+    "Lab" => "./lecture_11/lab.md"
 ]
 
 lecture_12 = [
