Merge pull request #744 from JuliaReach/auto-juliaformatter-pr

Automatic JuliaFormatter.jl run
JuliaReach · Oct 14, 2023 · 7467635 · 7467635
2 parents ccc4658 + cd2b0a9
commit 7467635
Showing 1 changed file with 11 additions and 12 deletions.
diff --git a/docs/make.jl b/docs/make.jl
@@ -90,16 +90,15 @@ LINEAR_SOLVERS = ["A20"      => "man/algorithms/A20.md",
                   "ORBIT"    => "man/algorithms/ORBIT.md",
                   "VREP"     => "man/algorithms/VREP.md"]
 
-LINEAR_SOLVERS_API = [
-                      "A20"      => "lib/algorithms/A20.md",
+LINEAR_SOLVERS_API = ["A20"      => "lib/algorithms/A20.md",
                       "ASB07"    => "lib/algorithms/ASB07.md",
                       "BFFPSV18" => "lib/algorithms/BFFPSV18.md",
                       "BOX"      => "lib/algorithms/BOX.md",
                       "GLGM06"   => "lib/algorithms/GLGM06.md",
                       "INT"      => "lib/algorithms/INT.md",
-                      "LGG09" => "lib/algorithms/LGG09.md",
-                      "ORBIT" => "lib/algorithms/ORBIT.md",
-                      "VREP"  => "lib/algorithms/VREP.md"]
+                      "LGG09"    => "lib/algorithms/LGG09.md",
+                      "ORBIT"    => "lib/algorithms/ORBIT.md",
+                      "VREP"     => "lib/algorithms/VREP.md"]
 
 NONLINEAR_SOLVERS = ["CARLIN" => "man/algorithms/CARLIN.md",
                      "QINT"   => "man/algorithms/QINT.md",
@@ -154,13 +153,13 @@ makedocs(;
                                        "Quadrotor"              => "generated_examples/Quadrotor.md",
                                        "Epidemic model"         => "generated_examples/SEIR.md",
                                        "Spacecraft"             => "generated_examples/Spacecraft.md"],
-                "API Reference" => ["Systems"           => "lib/systems.md",
-                                    "Reach-sets"        => "lib/reachsets.md",
-                                    "Flowpipes"         => "lib/flowpipes.md",
-                                    "Linear solvers"    => LINEAR_SOLVERS_API,
-                                    "Nonlinear solvers" => NONLINEAR_SOLVERS_API,
-                                    "Solutions"         => "lib/solutions.md",
-                                    "Discretization"    => "lib/discretize.md",
+                "API Reference" => ["Systems"                       => "lib/systems.md",
+                                    "Reach-sets"                    => "lib/reachsets.md",
+                                    "Flowpipes"                     => "lib/flowpipes.md",
+                                    "Linear solvers"                => LINEAR_SOLVERS_API,
+                                    "Nonlinear solvers"             => NONLINEAR_SOLVERS_API,
+                                    "Solutions"                     => "lib/solutions.md",
+                                    "Discretization"                => "lib/discretize.md",
                                     "Projections"                   => "lib/projections.md",
                                     "Clustering"                    => "lib/clustering.md",
                                     "Further set operations"        => "lib/operations.md",