# El archivo robots.txt sirve para permitir o bloquear el acceso de robots de busqueda
# tales como Google para que cierto site o pagina no este incluido en su base de datos
# y también evitar que este programa accese a archivos privados o use tiempo de
# servidor

User-agent: *
Disallow: /~jchau
Disallow: /~jlau
Disallow: /~msarango
Disallow: /database
Disallow: /publications/reprints
Disallow: /publications/quarterly_reports
Disallow: /publications/presentations
Disallow: /publications/other
Disallow: /publications/other_publications
Disallow: /magnetometers
Disallow: /programs
Disallow: /DB_Admin
Disallow: /phpmyadmin
Disallow: /wmail
Disallow: /cgi-bin
Disallow: /HACK2
Disallow: /HACKHACKHACKHACK
Disallow: /subwebs/mst11_down
Disallow: /web_documents