# exclude help system from the robots
User-agent: *
Disallow: /manual/ 
Disallow: /doc/ 
Disallow: /gif/
Disallow: /norob/
Disallow: /bilderaktuell/
Disallow: /browser-detection.php
# but allow htdig to index our doc-tree
User-agent: susedig
Disallow: