diff --git a/.github/workflows/doc.yaml b/.github/workflows/doc.yaml index 4d5e246af1db65c7fc5255db10d5fc454717abca..8e84f445f696fa4200f1c23b32430772796e30d6 100644 --- a/.github/workflows/doc.yaml +++ b/.github/workflows/doc.yaml @@ -19,7 +19,3 @@ jobs: env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} - - run: julia --project=docs docs/make.jl - env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} diff --git a/docs/make.jl b/docs/make.jl index bf7ef2fc8d21846dd64ea0fc267996f74c9fd2b7..29c2d4f555939fd7bb19b00a2418c0740725d394 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -17,3 +17,8 @@ makedocs( )... ] ) + +# optionally deploy docs to github pages +deploydocs( + repo = "github.com/lamBOOO/SustainableSoftwareEngineering.jl.git", +)