User-agent: *
Disallow: /dev/
Disallow: /docs-ahundt-sphinx
Disallow: /linux.html