manual: Remove generate step in favor of publish

`make release' and `make publish' now re-generate all output formats,
even if it appears no file was modified, unlike `make texi', which does
not take into account that the texi file might have to be re-generated,
despite the org file not having a more recent modification time.

.github/workflows/manual.yml

@@ -22,8 +22,6 @@ jobs:
           version: 29.3
       - name: 'Install Texlive'
         run: sudo apt update && sudo apt install -y texlive
-      - name: 'Generate manual'
-        run: make texi info html html-dir pdf
       - name: 'Configure credentials'
         uses: aws-actions/configure-aws-credentials@v4
         with: