# robots.txt for http://schmidt.nuigalway.ie/

User-agent: *
Disallow: /manual
Disallow: /ma153
Disallow: /~goetz/ma153