fix a bad gitignore to readd the documentation.