From c09c5b9d5ffad16d5c15bf3dc76e4c200209ca5c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= <lars.goettgens@rwth-aachen.de>
Date: Fri, 14 Nov 2025 14:21:41 +0100
Subject: [PATCH] Enable more checks in documentation build

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

diff --git a/docs/Project.toml b/docs/Project.toml
index 11ab6ac9ce46..9427b85b9b4f 100644
--- a/docs/Project.toml
+++ b/docs/Project.toml
@@ -5,7 +5,7 @@ JSON = "682c06a0-de6a-54ab-a142-c8b1cf79cde6"
 Oscar = "f1435218-dba5-11e9-1e4d-f1a5fab5fc13"
 
 [compat]
-Documenter = "1.9.0"
+Documenter = "1.16.0"
 DocumenterCitations = "~1.3.4"
 JSON = "1.0.1"
 
diff --git a/docs/make_work.jl b/docs/make_work.jl
index 30364fae7918..3ba914336ca0 100644
--- a/docs/make_work.jl
+++ b/docs/make_work.jl
@@ -195,6 +195,7 @@ function doit(
       clean=true,
       doctest=false,
       warnonly=warnonly,
+      treat_markdown_warnings_as_error=!warnonly,
       checkdocs=:none,
       pages=doc,
       remotes=Dict(