Merge remote-tracking branch 'origin/master' into jg/cubic

Author: joaquimg

docs/Project.toml

@@ -5,7 +5,10 @@ Ipopt = "b6b21f68-93f8-5de0-b562-5493be1d77c9"
 JuMP = "4076af6c-e467-56ae-b986-b466b2749572"
 MathOptInterface = "b8f27783-ece8-5eb3-8dc8-9495eed66fee"
 ParametricOptInterface = "0ce4ce61-57bf-432b-a095-efac525d185e"
-Plots = "91a5bcdd-55d7-5caf-9e0b-520d859cae80"
 
 [compat]
 Documenter = "1"
+HiGHS = "1"
+Ipopt = "1"
+JuMP = "1"
+MathOptInterface = "1.13.2"

docs/make.jl

@@ -3,8 +3,8 @@
 # Use of this source code is governed by an MIT-style license that can be found
 # in the LICENSE.md file or at https://opensource.org/licenses/MIT.
 
-using Documenter
-using ParametricOptInterface
+import Documenter
+import ParametricOptInterface
 
 Documenter.makedocs(;
     modules = [ParametricOptInterface],
@@ -17,17 +17,7 @@ Documenter.makedocs(;
     ),
     sitename = "ParametricOptInterface.jl",
     authors = "Tomás Gutierrez, and contributors",
-    pages = [
-        "Home" => "index.md",
-        "manual.md",
-        "Examples" => [
-            "Examples/example.md",
-            "Examples/benders.md",
-            "Examples/markowitz.md",
-            "Examples/progressive_hedging.md",
-        ],
-        "reference.md",
-    ],
+    pages = ["Home" => "index.md", "reference.md"],
     checkdocs = :none,
 )