Merge branch 'ben' into docs-next

Ben writes: "This series fixes some bugs I found in the new doc build system."
This commit is contained in:
Jonathan Corbet 2017-02-06 09:05:31 -07:00
commit f161e9a270
2 changed files with 9 additions and 9 deletions