Merge pull request #76 from hdavid16/fix_documenter

fix documenter task

Author: hdavid16

README.md

@@ -129,7 +129,6 @@ Prior to `v0.4.0`, the package did not leverage the JuMP extension capabilities
 The example below is from the [Cornell University Computational Optimization Open Textbook](https://optimization.cbe.cornell.edu/index.php?title=Disjunctive_inequalities#Big-M_Reformulation[1][2]).
 
 ```julia
-using JuMP
 using DisjunctiveProgramming
 
 m = GDPModel()

docs/Project.toml

@@ -1,2 +1,3 @@
 [deps]
+DisjunctiveProgramming = "0d27d021-0159-4c7d-b4a7-9ccb5d9366cf"
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"

docs/make.jl

@@ -1,12 +1,13 @@
-push!(LOAD_PATH,"../src/")
 using DisjunctiveProgramming
 using Documenter
 makedocs(
-         sitename = "DisjunctiveProgramming.jl",
-         modules  = [DisjunctiveProgramming],
-         pages=[
-                "Home" => "index.md"
-               ])
+    sitename = "DisjunctiveProgramming.jl",
+    modules  = [DisjunctiveProgramming],
+    pages=[
+        "Home" => "index.md"
+    ],
+    checkdocs = :none
+)
 deploydocs(;
     repo="github.com/hdavid16/DisjunctiveProgramming.jl",
 )

examples/ex1.jl

@@ -1,4 +1,3 @@
-using JuMP
 using DisjunctiveProgramming
 using HiGHS
 

examples/ex2.jl

@@ -1,5 +1,4 @@
 # https://optimization.cbe.cornell.edu/index.php?title=Disjunctive_inequalities#Big-M_Reformulation[1][2]
-using JuMP
 using DisjunctiveProgramming
 using HiGHS
 

examples/ex3.jl

@@ -1,4 +1,3 @@
-using JuMP
 using DisjunctiveProgramming
 
 m = GDPModel()

examples/ex4.jl

@@ -1,4 +1,3 @@
-using JuMP
 using DisjunctiveProgramming
 
 # Example with proposition reformulation

examples/ex5.jl

@@ -1,6 +1,4 @@
 # https://arxiv.org/pdf/2303.04375.pdf
-
-using JuMP
 using DisjunctiveProgramming
 
 ##

examples/ex6.jl

@@ -1,4 +1,3 @@
-using JuMP
 using DisjunctiveProgramming
 
 ##

src/constraints.jl

@@ -417,10 +417,11 @@ cardinality sets: `AtLeast(n)`, `AtMost(n)`, or `Exactly(n)`.
 To select exactly 1 logical variable `Y` to be `true`, do 
 (the same can be done with `AtLeast(n)` and `AtMost(n)`):
 
-```jldoctest
-julia> model = GDPModel();
-julia> @variable(model, Y[i = 1:2], Logical);
-julia> @constraint(model, [Y[1], Y[2]] in Exactly(1));
+```julia
+using DisjunctiveProgramming
+model = GDPModel();
+@variable(model, Y[i = 1:2], LogicalVariable);
+@constraint(model, [Y[1], Y[2]] in Exactly(1));
 ```
 
     JuMP.build_constraint(