# robots.txt for Inktomi corporate site, www.inktomi.com

User-Agent: *
Disallow: /~harry
Disallow: /~anitac/todo.html