| commit | 3ebb9cc7ef915eed61ad2e65af1bd3b8510222a9 | [log] [tgz] |
|---|---|---|
| author | Peter Maydell <peter.maydell@linaro.org> | Fri Mar 06 16:18:43 2020 +0000 |
| committer | Peter Maydell <peter.maydell@linaro.org> | Thu Aug 06 16:21:53 2020 +0100 |
| tree | 30da2c60247a3d00aa5e01d992d0b6dfbf0dac1e | |
| parent | a15925506e897f5081cf5a28c0f9aef401ac1d7e [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. Reviewed-by: Richard Henderson <richard.henderson@linaro.org> Signed-off-by: Peter Maydell <peter.maydell@linaro.org> --- Changes v4->v5: remove texinfo from ubuntu2004.docker too