Forgot to deploy the figures for the English manual

Author: rtoy

.github/workflows/deploy-docs.yml

@@ -45,7 +45,7 @@ jobs:
       - name: Setup directories
         run: |
           mkdir _site/docs || true
-          mkdir _site/docs/de _site/docs/es _site/docs/pt _site/docs/pt_BR _site/docs/ja || true
+          mkdir _site/docs/de _site/docs/es _site/docs/pt _site/docs/pt_BR _site/docs/ja _site/docs/figures || true
       # The user manual needs to be built before the tests are run
       # because there a test for the user manual.
       - name: Build English manual
@@ -57,6 +57,7 @@ jobs:
           make -C doc/info
           make -C doc/info maxima.pdf
           cp doc/info/maxima.info* doc/info/*.html doc/info/maxima.pdf _site/docs
+          cp doc/info/figures/* _site/docs/figures
       - name: Build German manual
         run: |
           make -C doc/info/de