[PATCH] [RFC v2] Drop all 00-INDEX files from Documentation/

[Jonathan Corbet]

On Tue,  4 Sep 2018 00:15:23 +0200
Henrik Austad <henrik at austad.us> wrote:

> I don't really have an opinion to whether or not we /should/ have 00-INDEX,
> but the above 00-INDEX should either be removed or be kept up to date. If
> we should keep the files, I can try to keep them updated, but I rather not
> if we just want to delete them anyway.
> 
> As a starting point, remove all index-files and references to 00-INDEX and
> see where the discussion is going.

Applied, thanks.

jon