privat/nit — pull request #603 by privat (2014-07-21 18:46:33+00:00)
Title: Stop making docs by default

I am not sure people use the generated doc (I often ^C); for those that use it is, just `make docs`