Peter Maydell 7cd77fb02b 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>

2020-09-29 17:55:39 +02:00

..

coverity-scan.docker

Remove texinfo dependency from docker and CI configs

2020-09-29 17:55:39 +02:00

run-coverity-scan

Get rid of the libqemustub.a remainders

2020-08-05 11:45:43 +02:00