Resolve linkcheck problems with Ipopt

.github/workflows/docs.yml

@@ -17,13 +17,6 @@ jobs:
       - uses: julia-actions/setup-julia@latest
         with:
           version: '1.6' # Build documentation on Julia 1.6
-      - name: Fix curl mismatch # (https://stackoverflow.com/questions/30017397/error-curl-usr-local-lib-libcurl-so-4-no-version-information-available-requ)
-        run: |
-             sys_libcurl="$(find /usr/lib/x86_64-linux-gnu -maxdepth 1 -name "libcurl\.so\.*" | sort -n | tail -1)"
-             julia_lib="$(dirname "$(which julia)")/../lib/julia"
-             julia_libcurl="$(find $julia_lib -maxdepth 1 -name "libcurl\.so\.[0-9]" | sort -n | tail -1)"
-             sudo rm $julia_libcurl
-             sudo ln -s $sys_libcurl $julia_libcurl
       - name: Install plotting dependencies # For enabling GR.jl (used by Plots.jl)
         run: sudo apt-get install -y qt5-default
       - name: Install julia dependencies

docs/Project.toml

@@ -1,4 +1,5 @@
 [deps]
+InfiniteOpt = "20393b10-9daf-11e9-18c9-8db751c92c57"
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
 Ipopt = "b6b21f68-93f8-5de0-b562-5493be1d77c9"
 Distributions = "31c24e10-a181-5473-b8eb-7969acd0382f"
@@ -13,6 +14,6 @@ julia = "1.6"
 Documenter = "0.27"
 Literate = "2.8"
 Clp = "0.8"
-Ipopt = "0.6"
+Ipopt = "0.7"
 Distributions = "0.25"
 Plots = "1"