User-Agent: *
Allow: /
Disallow: /doc/index.html