User-agent: Googlebot
Allow: /
User-agent: *
Disallow: /htdocs
Disallow: /latex2html
Disallow: /icons
Disallow: robots.txt