#
# Disallow real directories
Disallow: /
Disallow: /staff
Disallow: /public
Disallow: /standard
Disallow: /registered
Disallow: /Trash
#
# Disallow script directories
Disallow: /cgi-bin
#
# Disallow servlets
Disallow: /tools
Disallow: /public-tools
Disallow: /staffserv
Disallow: /links
#
# Disallow things that rewrite to cgi or servlets
Disallow: /sici