Revert "Update make.jl"

JeffreySarnoff · JeffreySarnoff · commit acdc2b3e3cbb · 2022-04-16T22:17:30.000-04:00
This reverts commit d4ddc84.
diff --git a/docs/make.jl b/docs/make.jl
@@ -1,4 +1,4 @@
-using Documenter, Require, DoubleFloats
+using Documenter, DoubleFloats
 
 makedocs(
     modules = [DoubleFloats],

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-using Documenter, Require, DoubleFloats`
	`1`	`+using Documenter, DoubleFloats`
`2`	`2`
`3`	`3`	`makedocs(`
`4`	`4`	`modules = [DoubleFloats],`