On Mon, 31 Aug 2015 11:16:08 -0700 Brian Norris <computersforpeace@xxxxxxxxx> wrote: > These are generated as part of 'make htmldocs'. If we don't ignore them, > then most of our generated subdirectories get treated as "untracked" by > git. Makes sense. Applied to the docs tree, 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