fix make docs

CarloLucibello · CarloLucibello · commit 99ca1c0e2071 · 2024-12-09T01:01:12.000+01:00
diff --git 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
@@ -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()

-Original file line number
+Diff line change
@@ @@ -1,3 +1,3 @@ @@
 [deps]
 +Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
 MultiDocumenter = "87ed4bf0-c935-4a67-83c3-2a03bee4197c"
+-