Update make.jl

sumiya11 · web-flow · commit 90110176de20 · 2025-04-14T17:04:51.000+03:00
diff --git a/docs/make.jl b/docs/make.jl
@@ -57,6 +57,7 @@ cp(
 # Deploy build/
 
 deploydocs(
-    repo="github.com/sumiya11/Groebner.jl.git", 
+    repo="github.com/sumiya11/Groebner.jl.git",
+    versions = ["stable" => "v^", "v#.#", "dev" => "master"], # from Distributions.jl
     push_preview=true
 )

Original file line number	Diff line number	Diff line change
`@@ -57,6 +57,7 @@ cp(`
`57`	`57`	`# Deploy build/`
`58`	`58`
`59`	`59`	`deploydocs(`
`60`		`- repo="github.com/sumiya11/Groebner.jl.git",`
	`60`	`+ repo="github.com/sumiya11/Groebner.jl.git",`
	`61`	`+ versions = ["stable" => "v^", "v#.#", "dev" => "master"], # from Distributions.jl`
`61`	`62`	`push_preview=true`
`62`	`63`	`)`