diff options
| author | eine <eine@users.noreply.github.com> | 2020-11-18 00:28:51 +0100 |
|---|---|---|
| committer | eine <eine@users.noreply.github.com> | 2020-11-18 00:28:51 +0100 |
| commit | f4e2f40d86eac1ed0edca495a5eb2a954acc9ec7 (patch) | |
| tree | 29949bfe923513d09f60fbf38e2d511cbbb14c56 | |
| parent | cb3c71972264dcac7a0f8f405c7f70e6aa048b71 (diff) | |
| download | ghdl-f4e2f40d86eac1ed0edca495a5eb2a954acc9ec7.tar.gz ghdl-f4e2f40d86eac1ed0edca495a5eb2a954acc9ec7.tar.bz2 ghdl-f4e2f40d86eac1ed0edca495a5eb2a954acc9ec7.zip | |
ci: fix ghdl/doc
| -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 |