From f4e2f40d86eac1ed0edca495a5eb2a954acc9ec7 Mon Sep 17 00:00:00 2001
From: eine <eine@users.noreply.github.com>
Date: Wed, 18 Nov 2020 00:28:51 +0100
Subject: ci: fix ghdl/doc

---
 .github/workflows/doc.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
-- 
cgit v1.2.3