summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--COPYRIGHT12
1 files changed, 6 insertions, 6 deletions
diff --git a/COPYRIGHT b/COPYRIGHT
index c0817619..2f14e5f3 100644
--- a/COPYRIGHT
+++ b/COPYRIGHT
@@ -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
-Domain as they intentionally contain no content which can be covered
-by copyright. Some source modules may fall in this category as well.
-If you believe that a file is so trivial that it should be in the
-Public Domain, please contact me and, if I agree, I will explicitly
-release it from copyright.
+media. All public header files (include/* and arch/*/bits/*) should be
+treated as Public Domain as they intentionally contain no content
+which can be covered by copyright. Some source modules may fall in
+this category as well. If you believe that a file is so trivial that
+it should be in the Public Domain, please contact me and, if I agree,
+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: