User-agent: *
Disallow: /doc/
Disallow: /gecode-doc-latest/