inter/docs/.gitignore