User-Agent: * Disallow: /publ/ Disallow: /files/publications/ Disallow: /*.pdf$ Disallow: /signin/