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>
This commit is contained in:
Peter Maydell 2020-09-25 17:23:14 +01:00 committed by Markus Armbruster
parent 7a470a37b0
commit 5752d6cab9
1 changed files with 0 additions and 1 deletions

View File

@ -12,7 +12,6 @@
# Documentation
docs/*
*.rst
*.texi
# build system
configure