docker/man/Dockerfile