# don't let search engines see the RSS feed, it's just confusing.

User-agent: Googlebot
User-agent: msnbot
User-agent: AskJeeves
Disallow: /searchtools-rss.xml

User-agent: *
Disallow: /docs/_private/
Disallow: /docs/css/
Disallow: /docs/cust-bin/
Disallow: /docs/digits/
Disallow: /docs/ex/
Disallow: /docs/js/
Disallow: /docs/news_current_files/
Disallow: /docs/scripts/
Disallow: /docs/structure/
Disallow: /bin/
Disallow: /dev/
Disallow: /lib/
Disallow: /log/
Disallow: /rafiles/
Disallow: /secure/
Disallow: /tmp/
Disallow: /usr/
Disallow: /var/

# updated 2006-07-03 (by Nicky)