# Exclude all robots from site, except jrand.
User-agent: *
Disallow: /index.html
Disallow: /greener.html
Disallow: /WEB-INF
Disallow: /bob.html
Disallow: /cgi-bin
Disallow: /docs
Disallow: /images
Disallow: /javadocs
Disallow: /missing.html
Disallow: /servlets
Disallow: /test
Disallow: /tree
Disallow: /wwwstat