diff options
| author | Peter Maydell | 2020-09-25 18:23:14 +0200 |
|---|---|---|
| committer | Markus Armbruster | 2020-09-29 17:55:39 +0200 |
| commit | 5752d6cab9172a371cb3bcc3cf45a4f90ef8df76 (patch) | |
| tree | 7e5726677e5f77ff7332b08aaa5337ba1000a1e2 | |
| parent | scripts/texi2pod: Delete unused script (diff) | |
| download | qemu-5752d6cab9172a371cb3bcc3cf45a4f90ef8df76.tar.gz qemu-5752d6cab9172a371cb3bcc3cf45a4f90ef8df76.tar.xz 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>
| -rw-r--r-- | scripts/git.orderfile | 1 |
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 |