diff options
author | umarcor <unai.martinezcorral@ehu.eus> | 2020-12-28 21:17:56 +0100 |
---|---|---|
committer | umarcor <unai.martinezcorral@ehu.eus> | 2020-12-28 23:31:16 +0100 |
commit | aec9873b7f2a175611f431b7f67840cdb74eee96 (patch) | |
tree | 8f42a75c9a1941075c1ca06c0f820779af10316b /.github/workflows | |
parent | 5220d76eb17d0a2184fc4f5142c702f8e6544dac (diff) | |
download | ghdl-aec9873b7f2a175611f431b7f67840cdb74eee96.tar.gz ghdl-aec9873b7f2a175611f431b7f67840cdb74eee96.tar.bz2 ghdl-aec9873b7f2a175611f431b7f67840cdb74eee96.zip |
doc: update 'using/py' -> 'using/pyGHDL'
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/doc.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index 5cd33e03b..3ca172187 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -16,7 +16,7 @@ jobs: run: | docker build -t ghdl/doc - <<-EOF FROM ghdl/vunit:llvm - ENV PYTHONPATH=/src/python + ENV PYTHONPATH=/src/pyGHDL RUN apt update -qq && apt install -y gnat-gps \ && ln -s /usr/bin/pip3 /usr/bin/pip EOF |