# exclude help system from robots
User-agent: *
Disallow: /adbmail/
Disallow: /sinfomail/
Disallow: /manual/
Disallow: /doc/
Disallow: /gif/
# but allow htdig to index our doc-tree
User-agent: susedig
Disallow: