# robots.txt for WWW server
User-agent: *
Disallow: /cgi-bin
Disallow: /mailing-lists
Disallow: /mail
Disallow: /~ach/doc
Disallow: /%7Each/doc