From 4ffd6acebefcc4a418ba9995e234eccb22c1528b Mon Sep 17 00:00:00 2001
From: Nathanael Bosch <nathanael.bosch@uni-tuebingen.de>
Date: Tue, 3 Oct 2023 19:03:46 +0200
Subject: [PATCH] Make `:missing_docs` warnonly to fix the documenter CI

---
 docs/make.jl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/make.jl b/docs/make.jl
index ce08e2949..41131646f 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -58,6 +58,7 @@ makedocs(
         ],
         "References" => "references.md",
     ],
+    warnonly=:missing_docs,
 )
 
 # Documenter can also automatically deploy documentation to gh-pages.