Peter Maydell <peter.mayd...@linaro.org> 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 <peter.mayd...@linaro.org>
Reviewed-by: Markus Armbruster <arm...@redhat.com>
