# $Id: robots.txt,v 1.5 2007/06/30 18:08:12 rl Exp $
User-agent: *
Disallow: /courses/
Disallow: /local/
Disallow: /mirror/
Disallow: /docs/
Disallow: /pics/
Disallow: /icons/
Disallow: /math/
Disallow: /cgi-bin/
Disallow: /lists/
Disallow: /people/