diff mbox series

[v6,19/21] Remove Texinfo related line from git.orderfile

Message ID 20200925162316.21205-20-peter.maydell@linaro.org (mailing list archive)
State New, archived
Headers show
Series Convert QAPI doc comments to generate rST instead of texinfo | expand

Commit Message

Peter Maydell Sept. 25, 2020, 4:23 p.m. UTC 
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>
---
 scripts/git.orderfile | 1 -
 1 file changed, 1 deletion(-)

Comments

Markus Armbruster Sept. 29, 2020, 12:37 p.m. UTC | #1 
Peter Maydell <peter.maydell@linaro.org> writes:

> 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>

Reviewed-by: Markus Armbruster <armbru@redhat.com>
diff mbox series

Patch

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