From: Peter Maydell <peter.mayd...@linaro.org> 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.mayd...@linaro.org> Message-Id: <20200925162316.21205-20-peter.mayd...@linaro.org> Reviewed-by: Markus Armbruster <arm...@redhat.com> Signed-off-by: Markus Armbruster <arm...@redhat.com> --- scripts/git.orderfile | 1 - 1 file changed, 1 deletion(-) 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 -- 2.26.2
