Yuxuan Shui 06d879251b Make building the docs optional
Fixes #29

Signed-off-by: Yuxuan Shui <yshuiv7@gmail.com>
2018-10-29 11:55:10 +00:00
..
2013-06-19 19:36:48 +08:00
2018-10-29 11:55:10 +00:00