switch doc branch from master to main

AlexandreMary · AlexandreMary · commit d28fa6b1df72 · 2024-12-12T14:35:08.000+01:00
diff --git a/docs/make.jl b/docs/make.jl
@@ -14,6 +14,6 @@ makedocs(
 
 deploydocs(
     repo = "github.com/ACCORD-NWP/DAVAI-env.git",
-    devbranch = "master",   
-    devurl = "master",
+    devbranch = "main",   
+    devurl = "main",
 )

Original file line number	Diff line number	Diff line change
`@@ -14,6 +14,6 @@ makedocs(`
`14`	`14`
`15`	`15`	`deploydocs(`
`16`	`16`	`repo = "github.com/ACCORD-NWP/DAVAI-env.git",`
`17`		`- devbranch = "master",`
`18`		`- devurl = "master",`
	`17`	`+ devbranch = "main",`
	`18`	`+ devurl = "main",`
`19`	`19`	`)`