User-agent: *
Disallow: /sources/
Disallow: /htdocs/