# Limit which pages get indexed by the various web searching services.
# For example, the sysadmin and system areas really don't need to
# be indexed.
#
# See http://info.webcrawler.com/mak/projects/robots/norobots.html for
# more info about how to configure this file.

User-agent: *
Disallow: /
Disallow: /cgi-bin/
Disallow: /support/support/unix/unix-comms.html
Disallow: cgi-bin/man.cgi
Disallow: /figs/
Disallow: /papers/