User-agent: *
disallow: /cgi-bin/sources
disallow: /log
disallow: /html/031