-
由 Brian Norris 提交于
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. Signed-off-by: NBrian Norris <computersforpeace@gmail.com> Signed-off-by: NJonathan Corbet <corbet@lwn.net>
2d774bd0