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