# robots.txt User-agent: * Disallow: /images/ Disallow: /teaser/ Disallow: /portal_css/ Disallow: /portal_javascripts/ Disallow: /Members/ Disallow: /search Disallow: /html2pdf Disallow: /search_form Disallow: /sendto_form Disallow: /search? Disallow: /author Disallow: /news/ Disallow: /events/ Disallow: /glossar/ User-agent: Wget Disallow: / User-agent: WebCopier Disallow: /