doc menu modification

franckgaga · franckgaga · commit 05268f0deaee · 2023-06-10T21:23:07.000-04:00
diff --git a/docs/make.jl b/docs/make.jl
@@ -23,8 +23,10 @@ makedocs(
     pages = [
         "Home" => "index.md",
         "Manual" => [
-            "Linear Designs" => "manual/linmpc.md",
-            "Nonlinear Designs" => "manual/nonlinmpc.md",
+            "Examples" => [
+                "Linear Designs" => "manual/linmpc.md",
+                "Nonlinear Designs" => "manual/nonlinmpc.md",
+            ],
         ],
         "Functions" => [
             "Public" => [
