Exlude doc/ of git repo
Fix doc generation