# exclude help system from robots
User-agent: *
Disallow: /cgi-bin/
Disallow: /cgi-bin-phil/
Disallow: /cgi-bin-edv/ 
Disallow: /gif/
Disallow: /Isoz/isoz/schwerpunkte/methoden/statistik/gif/
Disallow: /Isoz/isoz/person/cordes/gif/
Disallow: /Isoz/gif/
Disallow: /phil/neu/phil/gif/
Disallow: /phil/gif/
Disallow: /Soz/Luede/gif/
Disallow: /FbBib/Phil/gif/
Disallow: /Fsr/kvv/gif
Disallow: /Help
Disallow: /IA
Disallow: /publish/Edv/Home/WM
Disallow: /source
Disallow: /preview
Disallow: /Ipw
Disallow: /publish/Ipw
Disallow: /publish/IKS/WI
Disallow: /publish/Isoz
Disallow: /onTeam/preview

# but allow htdig to index our doc-tree
User-agent: susedig
Disallow: /Help
Disallow: /IA
Disallow: /cgi-bin/
Disallow: /cgi-bin-phil/
Disallow: /cgi-bin-edv/
Disallow: /tmp