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