We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 532fd76 commit 9e640b9Copy full SHA for 9e640b9
docs/make-multi.jl
@@ -55,7 +55,7 @@ MultiDocumenter.make(
55
cp(joinpath(@__DIR__, "logo.svg"),
56
joinpath(outpath, "logo.svg"))
57
58
-if "PR" not in ARGS
+if !("PR" in ARGS)
59
@warn "Deploying to GitHub as MultiDocumenter"
60
gitroot = normpath(joinpath(@__DIR__, ".."))
61
run(`git pull`)
0 commit comments