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 /doc | |
| 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 'doc')
| -rwxr-xr-x | doc/make.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/make.sh b/doc/make.sh index 200c29ac1..faec1988e 100755 --- a/doc/make.sh +++ b/doc/make.sh @@ -5,7 +5,7 @@ set -e cd "$(dirname $0)" docker build -t ghdl/sphinx -f- . <<EOF -FROM btdi/sphinx:py3-featured +FROM btdi/sphinx:featured COPY requirements.txt / RUN apk add -U --no-cache make \ && pip3 install -r /requirements.txt |