diff options
| author | Eric Blake <eblake@redhat.com> | 2020-02-20 10:22:13 -0600 |
|---|---|---|
| committer | Laurent Vivier <laurent@vivier.eu> | 2020-03-09 15:59:31 +0100 |
| commit | bab694faedf17c2ea95d6c739b0792ec52d64cb9 (patch) | |
| tree | 578562dce8026630577dccb495075d2eb53f829b /scripts | |
| parent | a0cf4297d6b8d88047ab00c467f14aecf9c2a8eb (diff) | |
maint: Include top-level *.rst files early in git diff
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 <eblake@redhat.com>
Reviewed-by: Stefano Garzarella <sgarzare@redhat.com>
Message-Id: <20200220162214.3474280-1-eblake@redhat.com>
Signed-off-by: Laurent Vivier <laurent@vivier.eu>
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/git.orderfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/git.orderfile b/scripts/git.orderfile index 7cf22e0bf5..73fd818d7f 100644 --- a/scripts/git.orderfile +++ b/scripts/git.orderfile @@ -11,6 +11,7 @@ # Documentation docs/* +*.rst *.texi # build system |