Peter Maydell <[email protected]> writes: > 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 <[email protected]>
Reviewed-by: Markus Armbruster <[email protected]>
