User-agent: *
Disallow: /~buttsc/pubs/
Disallow: /~buttsc/distribution/