deactivate doctests when building the main documentation

JuliaReach · Nov 3, 2018 · a8d7ee2 · a8d7ee2
1 parent ad626e9
commit a8d7ee2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/make.jl b/docs/make.jl
@@ -2,7 +2,7 @@ ENV["GKSwstype"] = "100"  # set 'GR environment' to 'no output' (for Travis CI)
 using Documenter, LazySets, Polyhedra
 
 makedocs(
-    doctest = true,  # use this flag to skip doctests (saves time!)
+    doctest = false,
     modules = [LazySets, Approximations],
     format = :html,
     assets = ["assets/juliareach.css"],