Merge: Stop making docs by default
authorJean Privat <jean@pryen.org>
Tue, 22 Jul 2014 03:16:49 +0000 (23:16 -0400)
committerJean Privat <jean@pryen.org>
Tue, 22 Jul 2014 03:16:49 +0000 (23:16 -0400)
I am not sure people use the generated doc (I often ^C); for those that use it is, just `make docs`

Pull-Request: #603
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>


Trivial merge