Simplify and align workflow scripts

.github/workflows/nodejs.yml

@@ -27,14 +27,8 @@ jobs:
           npm run build
           git config user.name ${GITHUB_ACTOR}
           git config user.email ${PUSHER_EMAIL}
-          git add docs/index.md docs/*/*.html docs/*/*.md docs/*/styles/*
-          for dir in docs/*/ # list directories in the form "docs/dirname/"
-          do
-              doc=${dir%/}   # remove the trailing "/"
-              doc=${doc##*/} # retain everything after the final "/"
-              git diff-index --quiet HEAD $dir/*.html $dir/styles/* || npm run pdf $doc
-          done
-          git add docs/*/*.pdf
-          git diff-index --quiet HEAD docs/* || ( git commit -m "auto-refreshed" && git push )
+          git add docs/*
+          git diff-index --quiet HEAD docs/* || git commit -m "auto-refreshed"
+          git push
         env:
           PUSHER_EMAIL: ${{ github.event.pusher.email }}

.github/workflows/pdf.yml

@@ -21,9 +21,9 @@ jobs:
       - name: Generate PDF
         run: |
           npm ci
-          npm run pdf --if-present
+          npm run pdf
           git config user.name ${GITHUB_ACTOR}
           git config user.email [email protected]
           git add docs/*/*.pdf
-          git diff-index --quiet HEAD || git commit -m "PDF generation"
+          git diff-index --quiet HEAD docs/*/*.pdf || git commit -m "PDF generation"
           git push

package.json

@@ -4,7 +4,8 @@
   "description": "",
   "main": "number.js",
   "scripts": {
-    "build": "node lib/build",
+    "build": "npm run html && npm run pdf",
+    "html": "node lib/build",
     "pdf": "node lib/build-pdf.js",
     "start": "node lib/server",
     "test": "c8 -r html -r text mocha",