# exclude help system from robots User-agent: * Disallow: /manual/ Disallow: /doc/ Disallow: /gif/ Disallow: /images/ Disallow: /report/ Disallow: /mailman/ Disallow: /pipermail/ Disallow: /phpMyAdmin/ Disallow: /dbdbdbdb/ Disallow: /report/ Disallow: /admin/ # but allow htdig to index our doc-tree User-agent: susedig Disallow: # disallow stress test user-agent: stress-agent Disallow: /