# $Id: robots.txt,v 1.1 2005/08/12 15:09:03 jochen Exp $
User-agent: *
Disallow: /admin/
Disallow: /download/
Disallow: /images/
Disallow: /includes/
Disallow: /js/
Disallow: /pub/
Disallow: /swf/
Disallow: /themes/
Allow: /spider.html
Allow: spider.html