about summary refs log tree commit diff
diff options
context:
space:
mode:
authorsternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org>2020-12-15 14:50:43 +0100
committersternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org>2020-12-15 14:50:43 +0100
commit06e384c3ba37fdea9403f15caacee361a327ed31 (patch)
treed480d61f145569ef63db8c87952b5ded1f3a77b3
parentaae44acaff42fbca605d578b599b2e1c691d8fee (diff)
fix(doc): path typo
-rw-r--r--.github/workflows/deploy-doc.yml2
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