diff --git a/.github/workflows/generate-docs.yml b/.github/workflows/generate-docs.yml index 464ab20a1..a83fb3b18 100644 --- a/.github/workflows/generate-docs.yml +++ b/.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: |