User-agent: *
Disallow: /EmbeddedSystems/GNU/manual
Disallow: /Library/Linux
Disallow: /Library/Internet/rfc
Disallow: /Library/Miscellaneous/HTML2.0
Disallow: /Library/Miscellaneous/HTML4.0
Disallow: /Library/Miscellaneous/ethernet