# /robots.txt file for http://webcrawler.com/
# mail webmaster@webcrawler.com for constructive criticism

#User-agent: webcrawler
#Disallow:

#User-agent: lycra
#Disallow: /

User-agent: *
Disallow: /doc/
Disallow: /mt/
Disallow: /usage/
Disallow: /teaching/
Disallow: /internal/
Disallow: /manual/
Disallow: /cgi-bin/
Disallow: /~mjhsieh/index.xml
Disallow: /~mjhsieh/index.rdf