Rename www/head to www/head.txt

type: documentation
casey · Apr 8, 2020 · 35d90ad · 35d90ad
1 parent 0469f7f
commit 35d90ad
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -75,7 +75,7 @@ jobs:
       run: mdbook build book --dest-dir ../www/book
     - name: Record Git Revision
       if: github.ref == 'refs/heads/master'
-      run: git rev-parse --verify HEAD > www/head
+      run: git rev-parse --verify HEAD > www/head.txt
     - name: Deploy Pages
       uses: peaceiris/actions-gh-pages@v3
       if: github.ref == 'refs/heads/master'