User-agent: googlebot
User-agent: msnbot
User-agent: slurp
User-agent: Teoma
User-agent: teoma
Disallow: /source/
Disallow: /manuals/
Disallow: /cgi-bin/
Disallow: /publications/

User-agent: crawl
User-agent: WDG_SiteValidator
User-agent: robot
User-agent: psbot
User-agent: spider
User-agent: speedy
User-agent: webcollage
User-agent: netcraft
User-agent: ia_archiver
User-agent: voila
User-agent: NaverBot
User-agent: yandex
User-agent: voilabot
User-agent: dotbot
User-agent: twiceler
User-agent: FunWebProducts
User-agent: bot*
User-agent: crawl
User-agent: spider
User-agent: webcollage

Disallow: /