User-agent: *
Allow: /manual/en/html/*
Disallow: /manual/en/
Disallow: /include/*
Allow: /