commit | 5752d6cab9172a371cb3bcc3cf45a4f90ef8df76 | [log] [tgz] |
---|---|---|
author | Peter Maydell <peter.maydell@linaro.org> | Fri Sep 25 17:23:14 2020 +0100 |
committer | Markus Armbruster <armbru@redhat.com> | Tue Sep 29 17:55:39 2020 +0200 |
tree | 7e5726677e5f77ff7332b08aaa5337ba1000a1e2 | |
parent | 7a470a37b0c04caea574fc2e6db5429c203c8f35 [diff] |
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>