From cf3184c5a77638f1d93247b6e54066cc278919b5 Mon Sep 17 00:00:00 2001
From: schillic <git@christianschilling.net>
Date: Wed, 7 Feb 2024 22:58:10 +0100
Subject: [PATCH] activate doctests

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

diff --git a/docs/make.jl b/docs/make.jl
index 26a28af62..da0aa68fd 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -118,7 +118,7 @@ makedocs(;
                                 assets=["assets/aligned.css"]),
          sitename="ReachabilityAnalysis.jl",
          modules=[ReachabilityAnalysis],
-         doctest=false,
+         #doctest=false,
          pagesonly=true,
          pages=["Overview" => "index.md",
                 "Tutorials" => vcat(SET_REPRESENTATIONS,