Remove documents/ from .gitignore, add those files.