Update deploy pages

Author: SuperDisk

.github/workflows/manual.yml

@@ -41,4 +41,4 @@ jobs:
           path: 'manual/book/html/'
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v1
+        uses: actions/deploy-pages@v4