From 35d90adab4fdc1e931e9a0a6c44cad36f8df2e6b Mon Sep 17 00:00:00 2001
From: Casey Rodarmor <casey@rodarmor.com>
Date: Fri, 20 Mar 2020 07:07:32 -0700
Subject: [PATCH] Rename `www/head` to `www/head.txt`

type: documentation
---
 .github/workflows/build.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
index 7c7c38a..2843eca 100644
--- 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'