User-agent: *
Disallow: /docs/
Disallow: /all_docs.php
Disallow: /docs.php
Disallow: /port.php