# exclude help system from robots
User-agent: *
Disallow: /cgi-bin/
Disallow: /manual/
Disallow: /doc/
Disallow: /gif/
Disallow: /images/
Disallow: /navis/
Disallow: /js/
Disallow: /downloads/
Disallow: /css/
Disallow: /flaechen/
# but allow htdig to index our doc-tree
User-agent: susedig
Disallow:
# disallow stress test
User-agent: stress-agent
Disallow: /