#

User-agent: *

Disallow: /cgi-bin/

#
Disallow: /man/users/tools/