aboutsummaryrefslogtreecommitdiffstats
path: root/.github/workflows/doc.yml
diff options
context:
space:
mode:
Diffstat (limited to '.github/workflows/doc.yml')
-rw-r--r--.github/workflows/doc.yml3
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