remove --lint. #2894 : rebuild and fix docs
Fix docs : modify source file instead of built file
Merge pull request #2963 from Nami-Doc/lint-flag-removal

Lint flag removal