diff options
author | eine <6628437+eine@users.noreply.github.com> | 2020-01-07 20:55:49 +0000 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2020-01-07 21:55:49 +0100 |
commit | a3a87c42060bbecda0b3c999c5f7f3acfb6008f0 (patch) | |
tree | c22818a504e8e31570a0c72823f7361675205959 /dist | |
parent | 77346985875ba5eb0699d9bc6881250766ffa6fc (diff) | |
download | ghdl-a3a87c42060bbecda0b3c999c5f7f3acfb6008f0.tar.gz ghdl-a3a87c42060bbecda0b3c999c5f7f3acfb6008f0.tar.bz2 ghdl-a3a87c42060bbecda0b3c999c5f7f3acfb6008f0.zip |
fix btdi image names (#1070)
* ci: fix btdi image used in man.sh
* ci: fix btdi image used in make.sh
Diffstat (limited to 'dist')
-rwxr-xr-x | dist/man.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dist/man.sh b/dist/man.sh index 5244e49a7..4c5316ddb 100755 --- a/dist/man.sh +++ b/dist/man.sh @@ -9,7 +9,7 @@ set -e docker run --rm -it \ -v /$(pwd):/src \ -w //src/doc \ - btdi/sphinx:py2-featured \ + btdi/sphinx:featured \ sh -c "sphinx-build -T -b man . ./_build/man" nroff -man doc/_build/man/ghdl.1 |