# /robots.txt file for http://www.matteo-ricci.org/

User-agent: *
Disallow: /generated/
Disallow: /cgi-bin/
Disallow: /src/
Disallow: /error/
Allow: /