Peter Maydell 5752d6cab9 Remove Texinfo related line from git.orderfile ...

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.maydell@linaro.org>
Message-Id: <20200925162316.21205-20-peter.maydell@linaro.org>
Reviewed-by: Markus Armbruster <armbru@redhat.com>
Signed-off-by: Markus Armbruster <armbru@redhat.com>

2020-09-29 17:55:39 +02:00

488 B

Raw Blame History

View Raw