summary refs log tree commit diff stats
path: root/scripts
diff options
context:
space:
mode:
authorPeter Maydell <peter.maydell@linaro.org>2020-09-25 17:23:14 +0100
committerMarkus Armbruster <armbru@redhat.com>2020-09-29 17:55:39 +0200
commit5752d6cab9172a371cb3bcc3cf45a4f90ef8df76 (patch)
tree7e5726677e5f77ff7332b08aaa5337ba1000a1e2 /scripts
parent7a470a37b0c04caea574fc2e6db5429c203c8f35 (diff)
downloadfocaccia-qemu-5752d6cab9172a371cb3bcc3cf45a4f90ef8df76.tar.gz
focaccia-qemu-5752d6cab9172a371cb3bcc3cf45a4f90ef8df76.zip
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>
Diffstat (limited to 'scripts')
-rw-r--r--scripts/git.orderfile1
1 files changed, 0 insertions, 1 deletions
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