# exclude help system from robots
User-agent: *
Disallow: /manual/ 
Disallow: /doc/ 
Disallow: /gif/
Disallow: /download/
Disallow: /staphtype/wibubox_not_found.shtml
Disallow: /bb/ 
Disallow: /mediawiki/ 
Disallow: /feedback/ 


# but allow htdig to index our doc-tree
User-agent: susedig
Disallow:
# disallow stress test
user-agent: stress-agent
Disallow: /