# Don't let robots crawl any of the stuff we mirror that can already be
# found elsewhere.

User-agent: *
Disallow: /docs/
Disallow: /povray/
Disallow: /386htm/