# exclude help system from robots
User-agent: *
Disallow: /intranet/
Disallow: /manual/
Disallow: /backup/
Disallow: /php-doc
Disallow: /phpMyAdmin
Disallow: /spisovka
# but allow htdig to index our doc-tree
User-agent: susedig
Disallow:
# disallow stress test
user-agent: stress-agent
Disallow: /

Sitemap: http://www.ig.cas.cz/sitemap.txt