Peter Maydell <[email protected]> writes: > We don't use Texinfo any more; we can remove the references to the > .texi source file from our git.orderfile. > > Signed-off-by: Peter Maydell <[email protected]>
Reviewed-by: Markus Armbruster <[email protected]>
