User-agent: *
Disallow: /docs
Disallow: /tmp
Disallow: /src
Disallow: /catalog.html
Disallow: /catalog_html/TOC.html
Disallow: /cgi-bin/