Update make.jl

jump-dev · Sep 12, 2023 · fc010b8 · fc010b8
1 parent 5c1e12c
commit fc010b8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/make.jl b/docs/make.jl
@@ -549,6 +549,7 @@ write(joinpath(@__DIR__, "src", "JuMP.pdf"), "")
         sidebar_sitename = false,
         # Do no check for large pages.
         size_threshold = nothing,
+        example_size_threshold = 0,
     ),
     modules = [JuMP, MOI],
     checkdocs = :none,