User-agent: *
Disallow: /print_manual.php
Allow: /