Enabling again the release actions. The document generation should work as expected now.

Author: slav-at-attachix

.github/workflows/release.yml

@@ -25,6 +25,7 @@ jobs:
       if: github.ref_type == 'tag'
       run: |
         Tools/install.sh doc
+        source Tools/export.sh
         make -C docs html
         zip -r sming-docs.zip docs/build/html
     - name: Release New Version