User-agent: *
Disallow: /mailman
Disallow: /pipermail
Disallow: /logs
Disallow: /manual