# exclude help system from robots
User-agent: *
Disallow: /gif/ /lines/ /images/

# Disallow the pipermail directory.
User-agent: *
Disallow: /pipermail/