User-agent: *
Disallow: /cgi-bin/
Disallow: /dc/
Disallow: /mailman/
Disallow: /mnastro/
Disallow: /majordomo/
Disallow: /~anni/contact.html/
Disallow: /~karl/contact.html/
Disallow: /~bob/contact.html/