On Mon, 5 Dec 2016 09:41:40 -0200 Mauro Carvalho Chehab <mchehab@xxxxxxxxxxxxxxxx> wrote: > 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. I would agree with that; I don't see the point of keeping those files around in the longer term. I've applied the set. I do have a few quibbles with the final patch that I'll send separately, but they're not something to hold this set up for. Thanks, jon -- To unsubscribe from this list: send the line "unsubscribe linux-doc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
