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