# This file is used to keep robots away from stuff which
# shouldn't be indexed!
User-agent: *
Disallow: /htbin/helpgate/
Disallow: /htbin/webbook/
Disallow: /help/
Disallow: /www/documents/
Disallow: /demo/
Disallow: /www_root/serverdoc/
Disallow: /www_root/script_code/
Disallow: /www_root/base_code/
Disallow: /scripts/
Disallow: /~lists/
Disallow: /~positions/
Disallow: /www/jh/