Le 20/02/2020 à 17:22, Eric Blake a écrit : > We are converting more doc files to *.rst rather than *.texi. Most > doc files are already listed early in diffs due to our catchall > docs/*, but a few top-level files get missed by that glob. > > Signed-off-by: Eric Blake <ebl...@redhat.com> > --- > > Both *.texi and *.rst entries make sense while we are still converting > things, but we'll need a followup to drop *.texi when the conversion > is complete... > > scripts/git.orderfile | 1 + > 1 file changed, 1 insertion(+) > > diff --git a/scripts/git.orderfile b/scripts/git.orderfile > index 1f747b583a9e..abd8a67a2b4e 100644 > --- a/scripts/git.orderfile > +++ b/scripts/git.orderfile > @@ -11,6 +11,7 @@ > > # Documentation > docs/* > +*.rst > *.texi > > # build system >
Applied to my trivial-patches branch. Thanks, Laurent
