diff options
Diffstat (limited to '.github/workflows/doc.yml')
| -rw-r--r-- | .github/workflows/doc.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index 6d904b01f..6607523b5 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -15,7 +15,8 @@ jobs: docker build -t ghdl/doc - <<-EOF FROM ghdl/vunit:llvm ENV PYTHONPATH=/src/python - RUN apt update -qq && apt install -y gnat-gps + RUN apt update -qq && apt install -y gnat-gps \ + && ln -s /usr/bin/pip3 /usr/bin/pip EOF - name: Run gnatdoc |