User-agent: *
Allow: /dtd
Allow: /en/manual
Allow: /jp/manual
Disallow: /