working on adapting GitHub workflow

.github/workflows/publish-book.yml

@@ -30,7 +30,7 @@ jobs:
           # Delete the ref to avoid keeping history.
           git update-ref -d refs/heads/gh-pages
           rm -rf *
-          mv book/* .
+          mv ../book/* .
           git add .
           git commit -m "Deploy book $GITHUB_SHA to gh-pages"
           git push --force --set-upstream origin gh-pages