On Mon, 31 Aug 2015 11:16:08 -0700Brian Norris <computersforpeace@gmail.com> 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