diff options
Diffstat (limited to 'licenses/Texinfo-manual')
| -rw-r--r-- | licenses/Texinfo-manual | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/licenses/Texinfo-manual b/licenses/Texinfo-manual new file mode 100644 index 000000000000..7e9a29b5375f --- /dev/null +++ b/licenses/Texinfo-manual @@ -0,0 +1,20 @@ +Copyright (C) <year> Free Software Foundation, Inc. + +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 process this file through TeX and print the +results, provided the printed document carries copying permission notice +identical to this one except for the removal of this paragraph (this +paragraph not being relevant to the printed manual). + +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. + +Permission is granted to copy and distribute translations of this manual +into another language, under the above conditions for modified versions, +except that this permission notice may be stated in a translation +approved by the Foundation. |