From: Jean Privat Date: Tue, 22 Jul 2014 03:16:49 +0000 (-0400) Subject: Merge: Stop making docs by default X-Git-Tag: v0.6.7~34 X-Git-Url: http://nitlanguage.org Merge: 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` Pull-Request: #603 Reviewed-by: Lucas Bajolet Reviewed-by: Alexandre Terrasa --- 7f9f4a6d604d35c8609c5a2258dee75aeae7f2f4