# exclude help system from robots
User-agent: *
Disallow: /manual/ 
Disallow: /doc/ 
Disallow: /gif/
Disallow: /cd/
Disallow: /crde/
Disallow: /dhsv/
Disallow: /jacobs/
Disallow: /spi/
Disallow: /spweb/
Disallow: /webalizer/
Disallow: /webdb/
Disallow: /hilfe/
Disallow: /icons/
# but allow htdig to index our doc-tree
User-agent: susedig
Disallow: