Docs

.github/workflows/documentation.yml

@@ -2,33 +2,7 @@ name: Documentation
 
 on: push
 
-# Ensure that only one "Doc Preview Cleanup" workflow is force pushing at a time
-concurrency:
-  group: doc-preview-cleanup
-  cancel-in-progress: false
-
 jobs:
-  doc-preview-cleanup:
-    runs-on: ubuntu-latest
-    permissions:
-      contents: write
-    steps:
-      - name: Checkout gh-pages branch
-        uses: actions/checkout@v4
-        with:
-          ref: gh-pages
-      - name: Delete preview and history + push changes
-        run: |
-          if [ -d "${preview_dir}" ]; then
-              git config user.name "Documenter.jl"
-              git config user.email "[email protected]"
-              git rm -rf "${preview_dir}"
-              git commit -m "delete preview"
-              git branch gh-pages-new $(echo "delete history" | git commit-tree HEAD^{tree})
-              git push --force origin gh-pages-new:gh-pages
-          fi
-        env:
-          preview_dir: previews/PR${{ github.event.number }}
   build:
     permissions:
       contents: write
@@ -46,4 +20,5 @@ jobs:
       - name: Build and deploy
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # If authenticating with GitHub Actions token
-        run: julia docs/make.jl
+        run: julia docs/make.jl
+

Project.toml

@@ -9,7 +9,6 @@ BinnedStatistics = "b1065af9-dcad-4f81-8559-1003c45b126b"
 DataStructures = "864edb3b-99cc-5e75-8d2d-829cb0a9cfe8"
 Dates = "ade2ca70-3891-5945-98fb-dc099432e06a"
 DelimitedFiles = "8bb1440f-4735-579b-a4ab-409b98df4dab"
-Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
 FFMPEG = "c87230d0-a227-11e9-1b43-d7ebe4e7570a"
 Glob = "c27321d9-0574-5035-807b-f59d2c89b15c"
 LaTeXStrings = "b964fa9f-0449-5b57-a5c2-d3ea65f4040f"

docs/Project.toml

@@ -0,0 +1,6 @@
+[deps]
+AGNI = "ede838c1-9ec3-4ebe-8ae8-da4091b3f21c"
+Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
+
+[compat]
+Documenter = "1.4"

docs/make.jl

@@ -28,5 +28,7 @@ makedocs(
 
 deploydocs(
     repo = "github.com/nichollsh/AGNI.git",
+    push_preview=true,
+    devbranch="docs"
 )