# per default no bot should index our site
User-agent: *
Disallow: /

# settings for googlebot
User-agent: Googlebot
Disallow:
Allow: /opencms/opencms/
Allow: /opencms/export/

# settings for W3C checklink
User-agent: W3C-checklink
Disallow: