# exclude help system from robots
User-agent: *
Disallow: /manual/ 
Disallow: /doc/ 
Disallow: /gif/
Disallow: *.pl
Disallow: /cgi-bin/
Disallow: /intern/
Disallow: /internal/
Disallow: /log/
Disallow: /home/
Allow: /home/w3/
user-agent: stress-agent
Disallow: /
# but allow htdig to index our doc-tree
User-agent: susedig
Disallow:
# but allow linbot to index our doc-tree
User-agent: linbot
Disallow: