From fdc2f24d593c1fc5d17437253db01934e25df156 Mon Sep 17 00:00:00 2001
From: Jonas Schumacher <github735@jonasschumacher.de>
Date: Mon, 4 Mar 2024 12:31:33 +0100
Subject: [PATCH] Turn missing docs to warnings

---
 docs/make.jl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/make.jl b/docs/make.jl
index 95029870..085f2756 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -27,7 +27,8 @@ makedocs(
         "FPGA Development" => "fpga.md",
         "Development Tips" => "devtips.md",
         #"Getting Started" => "overview.md",
-    ]
+    ],
+    warnonly = [:missing_docs]
 #    html_prettyurls = false, #!("local" in ARGS),
 )