back to deploydocs

Author: icweaver

.github/workflows/Documentation.yml

@@ -17,11 +17,7 @@ jobs:
       - uses: julia-actions/cache@v2
       - name: Install dependencies
         run: julia --project=docs/ -e 'using Pkg; Pkg.instantiate()'
-      - name: Aggregate and deploy
-        run: |
-          git config user.name github-actions
-          git config user.email [email protected]
-          julia --project=docs docs/make.jl --deploy --temp
+      - uses: julia-actions/julia-docdeploy@v1
         env:
           DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

docs/make.jl

@@ -264,46 +264,46 @@ Downloads.download(
 )
 @info "Final build done"
 
-if "deploy" in ARGS
-    @warn "Deploying to GitHub" ARGS
-    gitroot = normpath(joinpath(@__DIR__, ".."))
-    run(`git pull`)
-    outbranch = "master"
-    has_outbranch = true
-    if !success(`git checkout $outbranch`)
-        has_outbranch = false
-        if !success(`git switch --orphan $outbranch`)
-            @error "Cannot create new orphaned branch $outbranch."
-            exit(1)
-        end
-    end
-    for file in readdir(gitroot; join = true)
-        endswith(file, ".git") && continue
-        rm(file; force = true, recursive = true)
-    end
-    for file in readdir(outpath)
-        cp(joinpath(outpath, file), joinpath(gitroot, file))
-    end
-    run(`git add .`)
-    if success(`git commit -m 'Aggregate documentation'`)
-        @info "Pushing updated documentation."
-        if has_outbranch
-            run(`git push`)
-        else
-            run(`git push -u origin $outbranch`)
-        end
-        run(`git checkout source`)
-    else
-        @info "No changes to aggregated documentation."
-    end
-else
-    @info "Skipping deployment, 'deploy' not passed. Generated files in docs/$(outpath)." ARGS
-    cp(outpath, joinpath(@__DIR__, "build"), force = true)
-end
+#if "deploy" in ARGS
+#    @warn "Deploying to GitHub" ARGS
+#    gitroot = normpath(joinpath(@__DIR__, ".."))
+#    run(`git pull`)
+#    outbranch = "master"
+#    has_outbranch = true
+#    if !success(`git checkout $outbranch`)
+#        has_outbranch = false
+#        if !success(`git switch --orphan $outbranch`)
+#            @error "Cannot create new orphaned branch $outbranch."
+#            exit(1)
+#        end
+#    end
+#    for file in readdir(gitroot; join = true)
+#        endswith(file, ".git") && continue
+#        rm(file; force = true, recursive = true)
+#    end
+#    for file in readdir(outpath)
+#        cp(joinpath(outpath, file), joinpath(gitroot, file))
+#    end
+#    run(`git add .`)
+#    if success(`git commit -m 'Aggregate documentation'`)
+#        @info "Pushing updated documentation."
+#        if has_outbranch
+#            run(`git push`)
+#        else
+#            run(`git push -u origin $outbranch`)
+#        end
+#        run(`git checkout source`)
+#    else
+#        @info "No changes to aggregated documentation."
+#    end
+#else
+#    @info "Skipping deployment, 'deploy' not passed. Generated files in docs/$(outpath)." ARGS
+#    cp(outpath, joinpath(@__DIR__, "build"), force = true)
+#end
 
-#deploydocs(;
-#    repo = "github.com/JuliaAstro/JuliaAstro.github.io",
-#    push_preview = true,
-#    branch = "master",
-#    devbranch = "source"
-#)
+deploydocs(;
+    repo = "github.com/JuliaAstro/JuliaAstro.github.io",
+    push_preview = true,
+    branch = "master",
+    devbranch = "multidocumenter"
+)