Add documentation for mine script.