Add doc/no-doc option to omit document files
Merge pull request #1 from marcus-wu/master

Add doc/no-doc option to omit document files