update home in workflow

Author: trevorcampbell

.github/workflows/update_book.yml

@@ -22,7 +22,7 @@ jobs:
 
       - name: Copy contents of dev/ to home folder
         run: |
-          yes | cp -rf dev ${{ runner.home }}
+          yes | cp -rf dev $HOME
 
       # Push update website to dev/ and clean out old commits
       - name: Update website to contents of dev, remove all old commits and subpages
@@ -35,7 +35,7 @@ jobs:
 
       - name: copy dev/ website back in
         run: |
-          yes | cp -rf ${{ runner.home }}/dev dev
+          yes | cp -rf $HOME/dev dev
 
       - name: push the result to gh-pages
         uses: stefanzweifel/git-auto-commit-action@v5