diff options
author | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2020-12-15 14:50:43 +0100 |
---|---|---|
committer | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2020-12-15 14:50:43 +0100 |
commit | 06e384c3ba37fdea9403f15caacee361a327ed31 (patch) | |
tree | d480d61f145569ef63db8c87952b5ded1f3a77b3 | |
parent | aae44acaff42fbca605d578b599b2e1c691d8fee (diff) |
fix(doc): path typo
-rw-r--r-- | .github/workflows/deploy-doc.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/deploy-doc.yml b/.github/workflows/deploy-doc.yml index 85f2721..4175143 100644 --- a/.github/workflows/deploy-doc.yml +++ b/.github/workflows/deploy-doc.yml @@ -19,7 +19,7 @@ jobs: # permission change taken from curry-club-augsburg.de - name: Build web output run: | - nix-build docs/web.nix + nix-build doc/web.nix cp -RL result tmp chmod -R +w tmp - name: Deploy output to GitHub Pages |