User-agent: *
Robot-version: 2.0
Allow: *
Disallow: /man/
Disallow: /pro/