# currently a few extra seeks might hurt; /pub/docs is OK
# -- 20080105 mike@

User-agent: *
Disallow: /pub/cygwin
Disallow: /pub/Debian
Disallow: /pub/Linux
Disallow: /pub/Owl
Disallow: /pub/soft
Disallow: /pub/win32