User-agent: *
Disallow: /pubdocs/
Disallow: /cgi/
Disallow: /phpBB3/cache/