Move common header into header.inc

[nasm/www.git] / robots.txt

# Stuff inappropriate for search engines
# We want to disallow /docs because we want the /doc link (which reflects
# the current version) to be the one that shows up in search engines.
User-Agent: *
Disallow: /pub/
Disallow: /docs/
Disallow: /usage/