# All robots will spider this smartsite

User-agent: *

Disallow: /pdfs/

Disallow: /proofsite/

Disallow: /cgi-bin/