diff --git a/docs/make_work.jl b/docs/make_work.jl index ac86a8cd5a89..9e3ea8e8387e 100644 --- a/docs/make_work.jl +++ b/docs/make_work.jl @@ -132,6 +132,12 @@ function doit( append!(collected, pkgdocs) end end + if "FTheoryTools" in Oscar.oldexppkgs # remove this block once FTheoryTools is upgraded to new experimental structure + pkgdocs = setup_experimental_package(Oscar, "FTheoryTools") + if length(pkgdocs) > 0 + append!(collected, pkgdocs) + end + end push!(doc, ("Experimental" => collected)) # Load the bibliography