# $Id: robots.txt,v 1.10 2005/02/16 17:03:11 ste Exp $
User-agent: *
Disallow: /Doc/
Disallow: /doc/
Disallow: /cgi-bin/
Disallow: /adm/local/
Disallow: /dpc/
Disallow: /manual/
Disallow: /mirrors/
Disallow: /pak/
Disallow: /soft/
Disallow: /support-db/
Disallow: /wabi/
Disallow: /~ste/photos/
Disallow: /~ste/comp/emacs/gnus/release/
###
User-agent: htdig_134_60_10
Disallow: /Doc/
Disallow: /doc/
Disallow: /cgi-bin/
# Disallow: /adm/local/
Disallow: /dpc/
Disallow: /manual/
Disallow: /mirrors/
Disallow: /pak/
# Disallow: /soft/
Disallow: /support-db/
# Disallow: /wabi/
###
Disallow: /soft/html/
#