Fix headers in building docs. Closes #3182

This commit is contained in:
John Preston 2017-04-04 12:17:54 +03:00
parent b7ea15b83d
commit 15befa98c4
4 changed files with 99 additions and 99 deletions