User-agent: *
Disallow: /source/
Disallow: /nonav/source/
Disallow: /nonav/search/
Disallow: /nonav/issues/
Disallow: /nonav/servlets/