Correct Documenter CI bug

gdalle · gdalle · commit 35a2b1af2599 · 2021-09-09T15:38:57.000+02:00
diff --git a/docs/make.jl b/docs/make.jl
@@ -1,4 +1,4 @@
-using Documenter: deploydocs, makedocs
+using Documenter
 using MetaGraphsNext
 
 makedocs(

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-using Documenter: deploydocs, makedocs`
	`1`	`+using Documenter`
`2`	`2`	`using MetaGraphsNext`
`3`	`3`
`4`	`4`	`makedocs(`