The current `make docs` targets ALP/GraphBLAS developers, and accordingly generates too much information for ALP/GraphBLAS users. As a bonus, the HTML documentations could be hosted on algebraic-programming.github.io