From 36944924f07abe365e4c59e1b3e2ab6fafc0ac30 Mon Sep 17 00:00:00 2001
From: Ronny Bergmann <git@ronnybergmann.net>
Date: Thu, 3 Aug 2023 09:09:00 +0200
Subject: [PATCH] Let's be more strict in the docs!

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

diff --git a/docs/make.jl b/docs/make.jl
index b45f78a699..885d9f899d 100755
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -63,6 +63,21 @@ makedocs(
     ),
     modules=[Manopt],
     sitename="Manopt.jl",
+    strict=[
+        :doctest,
+        :linkcheck,
+        :parse_error,
+        :example_block,
+        :autodocs_block,
+        :cross_references,
+        :docs_block,
+        :eval_block,
+        :example_block,
+        :footnote,
+        :meta_block,
+        :missing_docs,
+        :setup_block,
+    ],
     pages=[
         "Home" => "index.md",
         "About" => "about.md",