User-agent: *
Disallow: /modulefiles/
Allow: /index.php?out=html
Allow: /index.php?out=wml
Allow: /index.php?out=rss