add deploydocs

guilgautier · guilgautier · commit 982837f6af7b · 2021-02-16T21:03:45.000+01:00
diff --git a/docs/make.jl b/docs/make.jl
@@ -19,3 +19,7 @@ makedocs(
         ]
     # doctest=:fix  # = false to skip doctests
 )
+
+deploydocs(
+    repo="github.com/guilgautier/PartialRejectionSampling.jl.git",
+)

Original file line number	Diff line number	Diff line change
`@@ -19,3 +19,7 @@ makedocs(`
`19`	`19`	`]`
`20`	`20`	`# doctest=:fix # = false to skip doctests`
`21`	`21`	`)`
	`22`	`+`
	`23`	`+deploydocs(`
	`24`	`+ repo="github.com/guilgautier/PartialRejectionSampling.jl.git",`
	`25`	`+)`