From: Peter Maydell <peter.maydell@linaro.org>
Date: Fri, 25 Sep 2020 16:23:14 +0000 (+0100)
Subject: Remove Texinfo related line from git.orderfile
X-Git-Tag: v5.2.0-rc0~84^2~2
X-Git-Url: https://www.infradead.org/git/?a=commitdiff_plain;h=5752d6cab9172a371cb3bcc3cf45a4f90ef8df76;p=users%2Fdwmw2%2Fqemu.git

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>
---

diff --git a/scripts/git.orderfile b/scripts/git.orderfile
index a021afc2d5..3736c1d6af 100644
--- a/scripts/git.orderfile
+++ b/scripts/git.orderfile
@@ -12,7 +12,6 @@
 # Documentation
 docs/*
 *.rst
-*.texi
 
 # build system
 configure