User-agent: *
Disallow: /manual/

User-agent: googlebot
Disallow: *.cgi
Disallow: *.pl