uncomment deploydocs

j-fu · j-fu · commit a89bcbadcd6a · 2025-06-13T13:41:59.000+02:00
diff --git a/docs/make.jl b/docs/make.jl
@@ -53,4 +53,4 @@ end
 
 mkdocs()
 
-#deploydocs(; repo = "github.com/WIAS-PDELib/GridVisualize.jl.git", devbranch = "main")
+deploydocs(; repo = "github.com/WIAS-PDELib/GridVisualize.jl.git", devbranch = "main")

Original file line number	Diff line number	Diff line change
`@@ -53,4 +53,4 @@ end`
`53`	`53`
`54`	`54`	`mkdocs()`
`55`	`55`
`56`		`-#deploydocs(; repo = "github.com/WIAS-PDELib/GridVisualize.jl.git", devbranch = "main")`
	`56`	`+deploydocs(; repo = "github.com/WIAS-PDELib/GridVisualize.jl.git", devbranch = "main")`