User-agent: *
Allow: /mantis/view_all_bug_page.php
Allow: /mantis/my_view_page.php
Allow: /mantis/view.php
Disallow: /cgi-bin/
Disallow: /svn/
Disallow: /websvn/
Disallow: /mantis/