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> --- scripts/git.orderfile | 1 - 1 file changed, 1 deletion(-) diff --git a/scripts/git.orderfile b/scripts/git.orderfile index a021afc2d51..3736c1d6aff 100644 --- a/scripts/git.orderfile +++ b/scripts/git.orderfile @@ -12,7 +12,6 @@ # Documentation docs/* *.rst -*.texi # build system configure -- 2.20.1
