diff options
author | Peter Maydell <peter.maydell@linaro.org> | 2020-09-25 17:23:15 +0100 |
---|---|---|
committer | Markus Armbruster <armbru@redhat.com> | 2020-09-29 17:55:39 +0200 |
commit | 1615aeaf1ff2581aa4a595433f72e5c79d3171aa (patch) | |
tree | ed4fb27f0c60a0b4ba137186a673de17e3857e4a /scripts/coverity-scan | |
parent | 5752d6cab9172a371cb3bcc3cf45a4f90ef8df76 (diff) |
configure: Drop texinfo requirement
We don't need the texinfo and pod2man programs to build our documentation
any more, so remove them from configure's tests.
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Message-Id: <20200925162316.21205-21-peter.maydell@linaro.org>
Reviewed-by: Markus Armbruster <armbru@redhat.com>
Signed-off-by: Markus Armbruster <armbru@redhat.com>
Diffstat (limited to 'scripts/coverity-scan')
0 files changed, 0 insertions, 0 deletions