🐛 Last doc fixes, GEF API is now generated from Actions

.github/workflows/generate-docs.yml

@@ -1,4 +1,4 @@
-name: Generate Documentation on GithubPages
+name: Generate GithubPages
 
 on:
   push:
@@ -15,18 +15,16 @@ jobs:
       - uses: actions/checkout@v3
         with:
           token: ${{ secrets.GITHUB_TOKEN }}
-      - uses: actions/setup-python@v3
-        with:
-          python-version: '3.8' # this should be set to the same version GDB was compiled against
-          architecture: 'x64'
-          cache: 'pip'
       - name: Install pre-requisite
         run: |
-          sudo apt install gdb -y
-          pip install --requirement docs/requirements.txt --upgrade
+          sudo apt install gdb-multiarch python3 python3-dev python3-wheel  -y
+          version=$(gdb -q -nx -ex 'pi print(f"{sys.version_info.major}.{sys.version_info.minor}", end="")' -ex quit)
+          python${version} -m pip install --requirement docs/requirements.txt --upgrade
       - name: Regenerate GEF API file
         run: |
+          ls
           echo "source $(pwd)/gef.py" > ~/.gdbinit
+          cat ~/.gdbinit
           bash scripts/generate-api-docs.sh
       - name: Build and publish the docs
         run: |