Revert "Remove from list of modules"

This reverts commit 0c3d527.
JuliaManifolds · Oct 19, 2023 · 01d963c · 01d963c
1 parent 0c3d527
commit 01d963c
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/docs/make.jl b/docs/make.jl
@@ -63,6 +63,11 @@ makedocs(
     ),
     modules=[
         Manopt,
+        if isdefined(Base, :get_extension)
+            Base.get_extension(Manopt, :ManoptJuMPExt)
+        else
+            Manopt.ManoptJuMPExt
+        end,
         if isdefined(Base, :get_extension)
             Base.get_extension(Manopt, :ManoptLineSearchesExt)
         else