Commit d08035f8f15b7ddd89a318ea34bc386a9e33a8ea

Behdad Esfahbod 2015-12-30T16:15:36

[docs] Fix up build, really