diff options
| author | Michael Hoang <enzime@users.noreply.github.com> | 2024-11-09 20:51:18 +1100 |
|---|---|---|
| committer | Michael Hoang <enzime@users.noreply.github.com> | 2024-11-09 21:28:09 +1100 |
| commit | 293589065dd0f6bbfd6f83fcdc4f2d74543337c9 (patch) | |
| tree | 8c334dd1c9c73fcb064a1cd4e0825937b8ffdb1f | |
| parent | 3c4a2b1150d2ffc3a37826c9f5bdaa64da13d56b (diff) | |
ci: fix manual not being regenerated when non-Nix files are updated
This also fixes the README not being updated on the website as well
| -rw-r--r-- | .github/workflows/update-manual.yml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/.github/workflows/update-manual.yml b/.github/workflows/update-manual.yml index 42ee21e..8d2af53 100644 --- a/.github/workflows/update-manual.yml +++ b/.github/workflows/update-manual.yml @@ -3,8 +3,6 @@ on: push: branches: - master - paths: - - '**.nix' jobs: update-manual: |