# exclude help system from robots
User-agent: *
Disallow: /hilfe
Disallow: /manual
Disallow: /support-db 
Disallow: /gif
# but allow htdig to index our doc-tree
User-agent: susedig
Disallow: