# robots.txt for http://dlmf.nist.gov/

User-agent: *
Disallow : /cgi-bin