# $Id: robots.txt 88888 2007-12-12 12:12:12 oden $
# exclude help system from robots
User-agent: *
Disallow: /manual/
Disallow: /manual-1.3/
Disallow: /manual-2.0/
Disallow: /manual-2.2/
Disallow: /addon-modules/
Disallow: /doc/
Disallow: /images/
Disallow: /all_our_e-mail_addresses
Disallow: /admin/
#User-agent: htdig
#Disallow:
user-agent: stress-agent
Disallow: /