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