# exclude help system from robots
User-agent: *
Disallow: /manual/ 
Disallow: /doc/ 
Disallow: /gif/
Disallow: /~*
Disallow: /atinet/sara/db/
Disallow: /atinet/indip/db/
Disallow: /atinet/procedure/
Disallow: /agenda/db/
Disallow: /sapdocs/
Disallow: /horde/
# but allow htdig to index our doc-tree
User-agent: susedig
Disallow: