Update GitHub workflow to include glossary JSON

Author: jvns

.github/workflows/update-git-version-and-manual-pages.yml

@@ -80,7 +80,7 @@ jobs:
         id: manual-pages
         if: steps.commit.outputs.result != '' || inputs.force-rebuild == true
         run: |
-          git add -A external/docs &&
+          git add -A external/docs static/js/glossary &&
           if test true = '${{ inputs.force-rebuild }}' && git diff-index --cached --quiet HEAD --
           then
             echo '::notice::A manual pages rebuild was requested but resulted in no changes' >&2

.github/workflows/update-translated-manual-pages.yml

@@ -65,7 +65,7 @@ jobs:
         run: |
           mkdir -p external/docs/sync &&
           git -C '${{ runner.temp }}/git-html-l10n' rev-parse HEAD >external/docs/sync/git-html-l10n.sha &&
-          git add external/docs/sync/git-html-l10n.sha &&
+          git add external/docs/sync/git-html-l10n.sha static/js/glossary &&
 
           git add -A external/docs &&
           if test true = '${{ inputs.force-rebuild }}' && git diff-index --cached --quiet HEAD --