docker/contrib/man/.gitignore