User-agent: *
Disallow: /manual
Disallow: /index.html
Disallow: /~duvall/
Disallow: /~jbeach/