User-agent: *
Disallow: /cgi-bin/
Disallow: /home/
Disallow: /~waldmann/
Disallow: /bugzilla/
Disallow: /auto/tool/haddock/
Disallow: /auto/lib/haddock/
Disallow: /auto/box/haddock/