# /robots.txt
User-agent: webcrawler
Disallow: /tips
Disallow: /jef
Disallow: /editDB
User-agent: ilse
Disallow: /
User-agent: *
Disallow: /tips
Disallow: /jef
Disallow: /editDB