HoTT/HoTT — pull request #652 by JasonGross (2014-12-23 08:48:46+00:00)
Title: Fix dpdgraph, be more strict about documentation failures

Now travis will mark errors in the documentation building process as testing failures.

To accommodate this, we fix the "trouble in init_rank" problem by updating graphviz.