Update make.jl

scheinerman · Aug 25, 2024 · 44f7fc2 · 44f7fc2
1 parent 98a5427
commit 44f7fc2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/make.jl b/docs/make.jl
@@ -1,5 +1,5 @@
 # execute this file in the docs directory with this
 # julia --color=yes --project make.jl
 
-using Documenter, Posets
+using Documenter, ClosedIntervals
 makedocs(; sitename="AbstractLattices")