[PATCH 0/5] Update Documentation/00-INDEX

From: Mauro Carvalho Chehab
Date: Mon Dec 05 2016 - 07:13:41 EST


Keeping a manually filled index over time is not perfect, as people often
forget to keep the index file updated.

As Brian noticed, the recent conversion to ReST caused some new
issues. It turns, however, that the problem with this file predates the
ReST conversion, as several entries were missing, including really old
ones like PCI/ and isa.txt.

Well, after converting everything to ReST file, the 00-INDEX one will
become obsoleted by index.rst, but, as there are still a lot stuff
to do, it will take some time.

So, in order to check it, I wrote a small script that compares the files
and directories at Documentation/ with the ones at 00-INDEX.

Then, I synchronized the entries, making the script happy.

We might think on integrating the script with checkpatch.pl, but, as
we should get rid of 00-INDEX, it probably not worth the efforts.

Mauro Carvalho Chehab (5):
scripts: add a script to check if Documentation/00-INDEX is sane
docs: 00-INDEX: consolidate process/ and admin-guide/ description
docs: 00-INDEX: add missing entries for documentation files/dirs
docs: 00-INDEX: remove non-existing entries
docs: 00-INDEX: document directories/files with no docs

Documentation/00-INDEX | 196 ++++++++++++++++++++---------------------------
scripts/check_00index.sh | 66 ++++++++++++++++
2 files changed, 149 insertions(+), 113 deletions(-)
create mode 100755 scripts/check_00index.sh

--
2.9.3