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,