tree 7e5726677e5f77ff7332b08aaa5337ba1000a1e2
parent 7a470a37b0c04caea574fc2e6db5429c203c8f35
author Peter Maydell <peter.maydell@linaro.org> 1601050994 +0100
committer Markus Armbruster <armbru@redhat.com> 1601394939 +0200

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>