# robots.txt for http://www.tug.de/
user-agent: *
disallow: /private