uncomment docs deployment

Alessandro · Alessandro · commit 6961623090fb · 2023-02-03T13:14:28.000+01:00
diff --git a/docs/make.jl b/docs/make.jl
@@ -33,4 +33,4 @@ makedocs(
   ],
 )
 
-#deploydocs(repo = "github.com/JuliaSymbolics/Metatheory.jl.git")
+deploydocs(repo = "github.com/JuliaSymbolics/Metatheory.jl.git")

Original file line number	Diff line number	Diff line change
`@@ -33,4 +33,4 @@ makedocs(`
`33`	`33`	`],`
`34`	`34`	`)`
`35`	`35`
`36`		`-#deploydocs(repo = "github.com/JuliaSymbolics/Metatheory.jl.git")`
	`36`	`+deploydocs(repo = "github.com/JuliaSymbolics/Metatheory.jl.git")`