diff options
Diffstat (limited to 'debian/licenses/Linux-man-pages-copyleft')
-rw-r--r-- | debian/licenses/Linux-man-pages-copyleft | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/debian/licenses/Linux-man-pages-copyleft b/debian/licenses/Linux-man-pages-copyleft new file mode 100644 index 0000000..5fe3ef2 --- /dev/null +++ b/debian/licenses/Linux-man-pages-copyleft @@ -0,0 +1,18 @@ +Permission is granted to make and distribute verbatim copies of this manual +provided the copyright notice and this permission notice are preserved on +all copies. +. +Permission is granted to copy and distribute modified versions of this +manual under the conditions for verbatim copying, provided that the entire +resulting derived work is distributed under the terms of a permission notice +identical to this one. +. +Since the Linux kernel and libraries are constantly changing, this manual +page may be incorrect or out-of-date. The author(s) assume no responsibility +for errors or omissions, or for damages resulting from the use of the +information contained herein. The author(s) may not have taken the same +level of care in the production of this manual, which is licensed free of +charge, as they might when working professionally. +. +Formatted or processed versions of this manual, if unaccompanied by the +source, must acknowledge the copyright and authors of this work. |