diff --git a/docs/Project.toml b/docs/Project.toml index 6c1974efe..0f41e1c0b 100644 --- a/docs/Project.toml +++ b/docs/Project.toml @@ -1,3 +1,3 @@ [deps] +Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4" MultiDocumenter = "87ed4bf0-c935-4a67-83c3-2a03bee4197c" - diff --git a/docs/make-multi.jl b/docs/make-multi.jl index 7b1b02f28..b32254145 100644 --- a/docs/make-multi.jl +++ b/docs/make-multi.jl @@ -3,6 +3,7 @@ # This script is executed after building the docs for each package # See the pipeling in .github/workflows/multidocs.yml +using Documenter using MultiDocumenter clonedir = mktempdir()