# I do not know if we can redistribute the Orion manuals 
# -Doug Mon Oct 31 13:01:52 EST 2005
User-agent: *
Disallow: /orion/
User-agent: *
Disallow: /~pmiguel/projects/