Update make.jl

putianyi889 · web-flow · commit b7c032d3bbf8 · 2024-03-03T12:05:10.000Z
diff --git a/docs/make.jl b/docs/make.jl
@@ -11,5 +11,5 @@ makedocs(
 # See "Hosting Documentation" and deploydocs() in the Documenter manual
 # for more information.
 deploydocs(
-    repo = "https://github.com/putianyi889/EltypeExtensions.jl.git"
+    repo = "github.com/putianyi889/EltypeExtensions.jl.git"
 )

Original file line number	Diff line number	Diff line change
`@@ -11,5 +11,5 @@ makedocs(`
`11`	`11`	`# See "Hosting Documentation" and deploydocs() in the Documenter manual`
`12`	`12`	`# for more information.`
`13`	`13`	`deploydocs(`
`14`		`- repo = "https://github.com/putianyi889/EltypeExtensions.jl.git"`
	`14`	`+ repo = "github.com/putianyi889/EltypeExtensions.jl.git"`
`15`	`15`	`)`