clarify that bits headers are included as public headers

13 years ago · 876464622f
1 changed files with 6 additions and 6 deletions
--- a/12
+++ b/12
@ -78,12 +78,12 @@ All other files which have no copyright comments are original works
 Copyright © 2005-2012 Rich Felker, the main author of this library.
 The decision to exclude such comments is intentional, as it should be
 possible to carry around the complete source code on tiny storage
-media. All public header files (include/*) should be treated as Public
+media. All public header files (include/* and arch/*/bits/*) should be
-Domain as they intentionally contain no content which can be covered
+treated as Public Domain as they intentionally contain no content
-by copyright. Some source modules may fall in this category as well.
+which can be covered by copyright. Some source modules may fall in
-If you believe that a file is so trivial that it should be in the
+this category as well. If you believe that a file is so trivial that
-Public Domain, please contact me and, if I agree, I will explicitly
+it should be in the Public Domain, please contact me and, if I agree,
-release it from copyright.
+I will explicitly release it from copyright.
 The following files are trivial, in my opinion not copyrightable in
 the first place, and hereby explicitly released to the Public Domain: