git ignore on docs folder as it will be managed by a separate repo to work with github pages