diff options
| author | Peter Maydell <peter.maydell@linaro.org> | 2020-09-25 17:23:16 +0100 |
|---|---|---|
| committer | Markus Armbruster <armbru@redhat.com> | 2020-09-29 17:55:39 +0200 |
| commit | 7cd77fb02b9a2117a56fed172f09a1820fcd6b0b (patch) | |
| tree | cf85f68f00ec2c004fccb574ce35d7aec7afdbdf /tests/docker/dockerfiles/debian10.docker | |
| parent | 1615aeaf1ff2581aa4a595433f72e5c79d3171aa (diff) | |
Remove texinfo dependency from docker and CI configs
We don't need texinfo to build the docs any more, so we can
drop that dependency from our docker and other CI configs.
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Message-Id: <20200925162316.21205-22-peter.maydell@linaro.org>
Reviewed-by: Markus Armbruster <armbru@redhat.com>
Signed-off-by: Markus Armbruster <armbru@redhat.com>
Diffstat (limited to 'tests/docker/dockerfiles/debian10.docker')
| -rw-r--r-- | tests/docker/dockerfiles/debian10.docker | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tests/docker/dockerfiles/debian10.docker b/tests/docker/dockerfiles/debian10.docker index e3c11a454e..1e4188ba22 100644 --- a/tests/docker/dockerfiles/debian10.docker +++ b/tests/docker/dockerfiles/debian10.docker @@ -31,7 +31,6 @@ RUN apt update && \ python3 \ python3-setuptools \ python3-sphinx \ - texinfo \ $(apt-get -s build-dep qemu | egrep ^Inst | fgrep '[all]' | cut -d\ -f2) ENV FEATURES docs |