Print makeinfo version

Author: rtoy

.github/workflows/deploy-docs.yml

@@ -54,6 +54,7 @@ jobs:
         # just change to each directory and run make appropriately.
         # The Russian docs don't currently work
         run: |
+          makeinfo --version
           make -C doc/info
           make -C doc/info maxima.pdf
           cp doc/info/maxima.info* doc/info/*.html doc/info/maxima.pdf _site/docs