# robots.txt for http://www.irc.nl/ User-agent: * Disallow: /search.html Disallow: /missing.html Disallow: /adm/ Disallow: /log.php3 Disallow: /tools/ Disallow: /products/publications/cart.php Disallow: /pdf/ User-agent: htdig Disallow: /products/documentation/ircdoc/