From 99ca1c0e2071ec96872ef6cc5a855f2a2ccfb73f Mon Sep 17 00:00:00 2001
From: Carlo Lucibello <carlo.lucibello@gmail.com>
Date: Mon, 9 Dec 2024 01:01:12 +0100
Subject: [PATCH] fix make docs

---
 docs/Project.toml  | 2 +-
 docs/make-multi.jl | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

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()