Enable doc preview

thofma · thofma · commit 022636ed2659 · 2025-08-13T20:50:00.000+02:00
diff --git a/docs/make.jl b/docs/make.jl
@@ -55,5 +55,6 @@ makedocs(
 
 deploydocs(
            repo   = "github.com/Nemocas/Nemo.jl.git",
-           target = "build"
+           target = "build",
+           push_preview = true
           )

Original file line number	Diff line number	Diff line change
`@@ -55,5 +55,6 @@ makedocs(`
`55`	`55`
`56`	`56`	`deploydocs(`
`57`	`57`	`repo = "github.com/Nemocas/Nemo.jl.git",`
`58`		`- target = "build"`
	`58`	`+ target = "build",`
	`59`	`+ push_preview = true`
`59`	`60`	`)`