diff options
author | Mauro Carvalho Chehab <mchehab@s-opensource.com> | 2016-12-05 09:41:41 -0200 |
---|---|---|
committer | Jonathan Corbet <corbet@lwn.net> | 2016-12-05 14:21:24 -0700 |
commit | f15c323397f87b978f4057eb1462efcbf487493a (patch) | |
tree | 571deb44f3584bec33ab217767acdacde4123e14 /Documentation/device-mapper | |
parent | 20b786eb2598ac10c9743535b65611ce808c8d71 (diff) |
scripts: add a script to check if Documentation/00-INDEX is sane
It is easy to forget adding/removing entries at the
Documentation/00-INDEX file. In a matter of fact, even before
ReST conversion, people use to forget adding things here, as
there are lots of missing stuff out there.
Now that we're doing a hard work converting entries to ReST,
and while this hole file is not outdated, it is good to have
some tool that would help to verify that this file is kept
updated.
Signed-off-by: Mauro Carvalho Chehab <mchehab@s-opensource.com>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'Documentation/device-mapper')
0 files changed, 0 insertions, 0 deletions