# robots.txt for MARC
# I wish we did not have to ban robots,
# but they are far too often abusive.
# ...Not that the worst offenders will
# respect a robots.txt file anyway...

User-agent: htdig/3.1.6 (mailman@uvena.de)
Allow: /

User-agent: Googlebot
Allow: /

User-agent: *
Disallow: /