User-agent: *
Disallow: /include/
Disallow: /maths/
Disallow: /texdoc/
Disallow: /~yogi/
Disallow: /~shanta/
Disallow: /~pablo/photos/