tree de6dbd90ede2deb1d8e8c16384566548bbde9ce5
parent 9ed67a12c3f166ffc8f6daf6a3939be90dd2705d
author manuzhang <owenzhang1990@gmail.com> 1535381254 +0800
committer manuzhang <owenzhang1990@gmail.com> 1535381293 +0800

[GEARPUMP-305][Doc] Use MkDocs plugin to validate html

Get rid of ruby tools

Author: manuzhang <owenzhang1990@gmail.com>

Closes #252 from manuzhang/html_proofer.