User-agent: *
Disallow: /teaching/
Disallow: /.y4r0n/
Disallow: /ma/
Disallow: /doc/
Disallow: /sw/
Disallow: FormMail.php