# robots.txt file # # purpose to World Wide Web Robots trawling your web site (or parts thereof) # # For more info consult: # http://info.webcrawler.com/mak/projects/robots/norobots.html User-agent: * Disallow: /cgi-bin/ Disallow: /interaction.acgi$/ Disallow: /tools/ Disallow: /Documentation/ Disallow: /web_calendar/ Disallow: /staff/