Update make.jl

JuliaReach · Jun 17, 2021 · f38f57e · f38f57e
1 parent b2f0255
commit f38f57e
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/docs/make.jl b/docs/make.jl
@@ -20,9 +20,9 @@ makedocs(
                           "Vertical Collision Avoidance (VCAS)" => "models/VertCAS.md",
                           "Single Inverted Pendulum" => "models/Single-Pendulum.md",
                           "Double Inverted Pendulum" => "models/Double-Pendulum.md",
-                          "Airplane" => "models/Airplane.md",
-                          "Sliding controller" => "models/Sherlock-Benchmark-7.md",
-                          "Nonlinear Cart-Pole" => "models/Cart-Pole.md"],
+                          "Airplane" => "models/Airplane.md"],
+                          #"Sliding controller" => "models/Sherlock-Benchmark-7.md",
+                          #"Nonlinear Cart-Pole" => "models/Cart-Pole.md"],
         "API Reference" => Any["Problem types"=>"lib/problems.md",
                                "Solvers"=>"lib/solvers.md",
                                "Utilities"=>"lib/utils.md"],