# exclude help system from robots
User-agent: Googlebot
Disallow: /horde/
Disallow: /gif/
Disallow: /phpMyAdmin/
Disallow: /tmp/
Disallow: /wiki/
Disallow: /ppc/
Disallow: /~aouissat/
Disallow: /~basler/
Disallow: /~berges/
Disallow: /~bohr/
Disallow: /~carsten/
Disallow: /~dse/
Disallow: /~eich/
Disallow: /~haris/
Disallow: /~kellermann/
Disallow: /~maas/
Disallow: /~mai/
Disallow: /~marco/
Disallow: /~marhauser/
Disallow: /~metz/
Disallow: /~mhild/
Disallow: /~neff/
Disallow: /~neumann/
Disallow: /~nickel/
Disallow: /~oertel/
Disallow: /~radde/
Disallow: /~roth/
Disallow: /~rroth/
Disallow: /~schleifenbaum/
Disallow: /~thomas/
Disallow: /~urban/
Disallow: /~wambach/
Disallow: /~wimi/
Disallow: /~wirzba/
# but allow htdig to index our doc-tree
User-agent: susedig
Disallow:
# temporarily
# User-agent: browsershots
# Disallow:
# exclude all others
User-agent: *
Disallow: /