# exclude help system from robots
User-agent: *
Disallow: /manual/
Disallow: /doc/
Disallow: /gif/
Disallow: /system/
Disallow: /graphix/
Disallow: /statistik/
Disallow: /redaxo/
Disallow: /phpMyAdmin/
Disallow: /php/
Disallow: /jscript/
# but allow htdig to index our doc-tree
User-agent: susedig
Disallow:
# disallow stress test
user-agent: stress-agent
Disallow: /statistik/
Disallow: /redaxo/
Disallow: /phpMyAdmin/
Disallow: /php/
Disallow: /jscript/