Mercurial > emacs
annotate lispref/gpl.texi @ 80551:11d4beac3bb0
(Ffile_attributes): Don't allow the device number become negative.
author | Eli Zaretskii <eliz@gnu.org> |
---|---|
date | Sat, 03 May 2008 10:09:10 +0000 |
parents | bb004f4a49c2 |
children | f55f9811f5d7 |
rev | line source |
---|---|
29113 | 1 @c -*-texinfo-*- |
2 @setfilename ../info/gpl | |
3 | |
30904 | 4 @node GPL, Tips, GNU Free Documentation License, Top |
29113 | 5 @comment node-name, next, previous, up |
29116 | 6 @appendix GNU General Public License |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
7 @c The GNU General Public License. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
8 @center Version 3, 29 June 2007 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
9 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
10 @c This file is intended to be included within another document, |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
11 @c hence no sectioning command or @node. |
29113 | 12 |
13 @display | |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
14 Copyright @copyright{} 2007 Free Software Foundation, Inc. @url{http://fsf.org/} |
29113 | 15 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
16 Everyone is permitted to copy and distribute verbatim copies of this |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
17 license document, but changing it is not allowed. |
29113 | 18 @end display |
19 | |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
20 @heading Preamble |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
21 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
22 The GNU General Public License is a free, copyleft license for |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
23 software and other kinds of works. |
29113 | 24 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
25 The licenses for most software and other practical works are designed |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
26 to take away your freedom to share and change the works. By contrast, |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
27 the GNU General Public License is intended to guarantee your freedom |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
28 to share and change all versions of a program---to make sure it remains |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
29 free software for all its users. We, the Free Software Foundation, |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
30 use the GNU General Public License for most of our software; it |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
31 applies also to any other work released this way by its authors. You |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
32 can apply it to your programs, too. |
29113 | 33 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
34 When we speak of free software, we are referring to freedom, not |
29113 | 35 price. Our General Public Licenses are designed to make sure that you |
36 have the freedom to distribute copies of free software (and charge for | |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
37 them if you wish), that you receive source code or can get it if you |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
38 want it, that you can change the software or use pieces of it in new |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
39 free programs, and that you know you can do these things. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
40 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
41 To protect your rights, we need to prevent others from denying you |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
42 these rights or asking you to surrender the rights. Therefore, you |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
43 have certain responsibilities if you distribute copies of the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
44 software, or if you modify it: responsibilities to respect the freedom |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
45 of others. |
29113 | 46 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
47 For example, if you distribute copies of such a program, whether |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
48 gratis or for a fee, you must pass on to the recipients the same |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
49 freedoms that you received. You must make sure that they, too, |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
50 receive or can get the source code. And you must show them these |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
51 terms so they know their rights. |
29113 | 52 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
53 Developers that use the GNU GPL protect your rights with two steps: |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
54 (1) assert copyright on the software, and (2) offer you this License |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
55 giving you legal permission to copy, distribute and/or modify it. |
29113 | 56 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
57 For the developers' and authors' protection, the GPL clearly explains |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
58 that there is no warranty for this free software. For both users' and |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
59 authors' sake, the GPL requires that modified versions be marked as |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
60 changed, so that their problems will not be attributed erroneously to |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
61 authors of previous versions. |
29113 | 62 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
63 Some devices are designed to deny users access to install or run |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
64 modified versions of the software inside them, although the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
65 manufacturer can do so. This is fundamentally incompatible with the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
66 aim of protecting users' freedom to change the software. The |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
67 systematic pattern of such abuse occurs in the area of products for |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
68 individuals to use, which is precisely where it is most unacceptable. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
69 Therefore, we have designed this version of the GPL to prohibit the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
70 practice for those products. If such problems arise substantially in |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
71 other domains, we stand ready to extend this provision to those |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
72 domains in future versions of the GPL, as needed to protect the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
73 freedom of users. |
29113 | 74 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
75 Finally, every program is threatened constantly by software patents. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
76 States should not allow patents to restrict development and use of |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
77 software on general-purpose computers, but in those that do, we wish |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
78 to avoid the special danger that patents applied to a free program |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
79 could make it effectively proprietary. To prevent this, the GPL |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
80 assures that patents cannot be used to render the program non-free. |
29113 | 81 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
82 The precise terms and conditions for copying, distribution and |
29113 | 83 modification follow. |
84 | |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
85 @heading TERMS AND CONDITIONS |
29113 | 86 |
87 @enumerate 0 | |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
88 @item Definitions. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
89 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
90 ``This License'' refers to version 3 of the GNU General Public License. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
91 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
92 ``Copyright'' also means copyright-like laws that apply to other kinds |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
93 of works, such as semiconductor masks. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
94 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
95 ``The Program'' refers to any copyrightable work licensed under this |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
96 License. Each licensee is addressed as ``you''. ``Licensees'' and |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
97 ``recipients'' may be individuals or organizations. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
98 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
99 To ``modify'' a work means to copy from or adapt all or part of the work |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
100 in a fashion requiring copyright permission, other than the making of |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
101 an exact copy. The resulting work is called a ``modified version'' of |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
102 the earlier work or a work ``based on'' the earlier work. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
103 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
104 A ``covered work'' means either the unmodified Program or a work based |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
105 on the Program. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
106 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
107 To ``propagate'' a work means to do anything with it that, without |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
108 permission, would make you directly or secondarily liable for |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
109 infringement under applicable copyright law, except executing it on a |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
110 computer or modifying a private copy. Propagation includes copying, |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
111 distribution (with or without modification), making available to the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
112 public, and in some countries other activities as well. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
113 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
114 To ``convey'' a work means any kind of propagation that enables other |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
115 parties to make or receive copies. Mere interaction with a user |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
116 through a computer network, with no transfer of a copy, is not |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
117 conveying. |
29113 | 118 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
119 An interactive user interface displays ``Appropriate Legal Notices'' to |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
120 the extent that it includes a convenient and prominently visible |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
121 feature that (1) displays an appropriate copyright notice, and (2) |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
122 tells the user that there is no warranty for the work (except to the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
123 extent that warranties are provided), that licensees may convey the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
124 work under this License, and how to view a copy of this License. If |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
125 the interface presents a list of user commands or options, such as a |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
126 menu, a prominent item in the list meets this criterion. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
127 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
128 @item Source Code. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
129 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
130 The ``source code'' for a work means the preferred form of the work for |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
131 making modifications to it. ``Object code'' means any non-source form |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
132 of a work. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
133 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
134 A ``Standard Interface'' means an interface that either is an official |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
135 standard defined by a recognized standards body, or, in the case of |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
136 interfaces specified for a particular programming language, one that |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
137 is widely used among developers working in that language. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
138 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
139 The ``System Libraries'' of an executable work include anything, other |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
140 than the work as a whole, that (a) is included in the normal form of |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
141 packaging a Major Component, but which is not part of that Major |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
142 Component, and (b) serves only to enable use of the work with that |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
143 Major Component, or to implement a Standard Interface for which an |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
144 implementation is available to the public in source code form. A |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
145 ``Major Component'', in this context, means a major essential component |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
146 (kernel, window system, and so on) of the specific operating system |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
147 (if any) on which the executable work runs, or a compiler used to |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
148 produce the work, or an object code interpreter used to run it. |
29113 | 149 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
150 The ``Corresponding Source'' for a work in object code form means all |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
151 the source code needed to generate, install, and (for an executable |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
152 work) run the object code and to modify the work, including scripts to |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
153 control those activities. However, it does not include the work's |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
154 System Libraries, or general-purpose tools or generally available free |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
155 programs which are used unmodified in performing those activities but |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
156 which are not part of the work. For example, Corresponding Source |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
157 includes interface definition files associated with source files for |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
158 the work, and the source code for shared libraries and dynamically |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
159 linked subprograms that the work is specifically designed to require, |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
160 such as by intimate data communication or control flow between those |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
161 subprograms and other parts of the work. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
162 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
163 The Corresponding Source need not include anything that users can |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
164 regenerate automatically from other parts of the Corresponding Source. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
165 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
166 The Corresponding Source for a work in source code form is that same |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
167 work. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
168 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
169 @item Basic Permissions. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
170 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
171 All rights granted under this License are granted for the term of |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
172 copyright on the Program, and are irrevocable provided the stated |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
173 conditions are met. This License explicitly affirms your unlimited |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
174 permission to run the unmodified Program. The output from running a |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
175 covered work is covered by this License only if the output, given its |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
176 content, constitutes a covered work. This License acknowledges your |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
177 rights of fair use or other equivalent, as provided by copyright law. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
178 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
179 You may make, run and propagate covered works that you do not convey, |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
180 without conditions so long as your license otherwise remains in force. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
181 You may convey covered works to others for the sole purpose of having |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
182 them make modifications exclusively for you, or provide you with |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
183 facilities for running those works, provided that you comply with the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
184 terms of this License in conveying all material for which you do not |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
185 control copyright. Those thus making or running the covered works for |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
186 you must do so exclusively on your behalf, under your direction and |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
187 control, on terms that prohibit them from making any copies of your |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
188 copyrighted material outside their relationship with you. |
29113 | 189 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
190 Conveying under any other circumstances is permitted solely under the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
191 conditions stated below. Sublicensing is not allowed; section 10 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
192 makes it unnecessary. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
193 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
194 @item Protecting Users' Legal Rights From Anti-Circumvention Law. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
195 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
196 No covered work shall be deemed part of an effective technological |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
197 measure under any applicable law fulfilling obligations under article |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
198 11 of the WIPO copyright treaty adopted on 20 December 1996, or |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
199 similar laws prohibiting or restricting circumvention of such |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
200 measures. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
201 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
202 When you convey a covered work, you waive any legal power to forbid |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
203 circumvention of technological measures to the extent such |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
204 circumvention is effected by exercising rights under this License with |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
205 respect to the covered work, and you disclaim any intention to limit |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
206 operation or modification of the work as a means of enforcing, against |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
207 the work's users, your or third parties' legal rights to forbid |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
208 circumvention of technological measures. |
29113 | 209 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
210 @item Conveying Verbatim Copies. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
211 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
212 You may convey verbatim copies of the Program's source code as you |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
213 receive it, in any medium, provided that you conspicuously and |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
214 appropriately publish on each copy an appropriate copyright notice; |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
215 keep intact all notices stating that this License and any |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
216 non-permissive terms added in accord with section 7 apply to the code; |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
217 keep intact all notices of the absence of any warranty; and give all |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
218 recipients a copy of this License along with the Program. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
219 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
220 You may charge any price or no price for each copy that you convey, |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
221 and you may offer support or warranty protection for a fee. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
222 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
223 @item Conveying Modified Source Versions. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
224 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
225 You may convey a work based on the Program, or the modifications to |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
226 produce it from the Program, in the form of source code under the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
227 terms of section 4, provided that you also meet all of these |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
228 conditions: |
29113 | 229 |
230 @enumerate a | |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
231 @item |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
232 The work must carry prominent notices stating that you modified it, |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
233 and giving a relevant date. |
29113 | 234 |
235 @item | |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
236 The work must carry prominent notices stating that it is released |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
237 under this License and any conditions added under section 7. This |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
238 requirement modifies the requirement in section 4 to ``keep intact all |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
239 notices''. |
29113 | 240 |
241 @item | |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
242 You must license the entire work, as a whole, under this License to |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
243 anyone who comes into possession of a copy. This License will |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
244 therefore apply, along with any applicable section 7 additional terms, |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
245 to the whole of the work, and all its parts, regardless of how they |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
246 are packaged. This License gives no permission to license the work in |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
247 any other way, but it does not invalidate such permission if you have |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
248 separately received it. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
249 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
250 @item |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
251 If the work has interactive user interfaces, each must display |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
252 Appropriate Legal Notices; however, if the Program has interactive |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
253 interfaces that do not display Appropriate Legal Notices, your work |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
254 need not make them do so. |
29113 | 255 @end enumerate |
256 | |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
257 A compilation of a covered work with other separate and independent |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
258 works, which are not by their nature extensions of the covered work, |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
259 and which are not combined with it such as to form a larger program, |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
260 in or on a volume of a storage or distribution medium, is called an |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
261 ``aggregate'' if the compilation and its resulting copyright are not |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
262 used to limit the access or legal rights of the compilation's users |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
263 beyond what the individual works permit. Inclusion of a covered work |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
264 in an aggregate does not cause this License to apply to the other |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
265 parts of the aggregate. |
29113 | 266 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
267 @item Conveying Non-Source Forms. |
29113 | 268 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
269 You may convey a covered work in object code form under the terms of |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
270 sections 4 and 5, provided that you also convey the machine-readable |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
271 Corresponding Source under the terms of this License, in one of these |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
272 ways: |
29113 | 273 |
274 @enumerate a | |
275 @item | |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
276 Convey the object code in, or embodied in, a physical product |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
277 (including a physical distribution medium), accompanied by the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
278 Corresponding Source fixed on a durable physical medium customarily |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
279 used for software interchange. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
280 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
281 @item |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
282 Convey the object code in, or embodied in, a physical product |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
283 (including a physical distribution medium), accompanied by a written |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
284 offer, valid for at least three years and valid for as long as you |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
285 offer spare parts or customer support for that product model, to give |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
286 anyone who possesses the object code either (1) a copy of the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
287 Corresponding Source for all the software in the product that is |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
288 covered by this License, on a durable physical medium customarily used |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
289 for software interchange, for a price no more than your reasonable |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
290 cost of physically performing this conveying of source, or (2) access |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
291 to copy the Corresponding Source from a network server at no charge. |
29113 | 292 |
293 @item | |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
294 Convey individual copies of the object code with a copy of the written |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
295 offer to provide the Corresponding Source. This alternative is |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
296 allowed only occasionally and noncommercially, and only if you |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
297 received the object code with such an offer, in accord with subsection |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
298 6b. |
29113 | 299 |
300 @item | |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
301 Convey the object code by offering access from a designated place |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
302 (gratis or for a charge), and offer equivalent access to the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
303 Corresponding Source in the same way through the same place at no |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
304 further charge. You need not require recipients to copy the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
305 Corresponding Source along with the object code. If the place to copy |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
306 the object code is a network server, the Corresponding Source may be |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
307 on a different server (operated by you or a third party) that supports |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
308 equivalent copying facilities, provided you maintain clear directions |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
309 next to the object code saying where to find the Corresponding Source. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
310 Regardless of what server hosts the Corresponding Source, you remain |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
311 obligated to ensure that it is available for as long as needed to |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
312 satisfy these requirements. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
313 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
314 @item |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
315 Convey the object code using peer-to-peer transmission, provided you |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
316 inform other peers where the object code and Corresponding Source of |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
317 the work are being offered to the general public at no charge under |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
318 subsection 6d. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
319 |
29113 | 320 @end enumerate |
321 | |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
322 A separable portion of the object code, whose source code is excluded |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
323 from the Corresponding Source as a System Library, need not be |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
324 included in conveying the object code work. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
325 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
326 A ``User Product'' is either (1) a ``consumer product'', which means any |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
327 tangible personal property which is normally used for personal, |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
328 family, or household purposes, or (2) anything designed or sold for |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
329 incorporation into a dwelling. In determining whether a product is a |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
330 consumer product, doubtful cases shall be resolved in favor of |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
331 coverage. For a particular product received by a particular user, |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
332 ``normally used'' refers to a typical or common use of that class of |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
333 product, regardless of the status of the particular user or of the way |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
334 in which the particular user actually uses, or expects or is expected |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
335 to use, the product. A product is a consumer product regardless of |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
336 whether the product has substantial commercial, industrial or |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
337 non-consumer uses, unless such uses represent the only significant |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
338 mode of use of the product. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
339 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
340 ``Installation Information'' for a User Product means any methods, |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
341 procedures, authorization keys, or other information required to |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
342 install and execute modified versions of a covered work in that User |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
343 Product from a modified version of its Corresponding Source. The |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
344 information must suffice to ensure that the continued functioning of |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
345 the modified object code is in no case prevented or interfered with |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
346 solely because modification has been made. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
347 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
348 If you convey an object code work under this section in, or with, or |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
349 specifically for use in, a User Product, and the conveying occurs as |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
350 part of a transaction in which the right of possession and use of the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
351 User Product is transferred to the recipient in perpetuity or for a |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
352 fixed term (regardless of how the transaction is characterized), the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
353 Corresponding Source conveyed under this section must be accompanied |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
354 by the Installation Information. But this requirement does not apply |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
355 if neither you nor any third party retains the ability to install |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
356 modified object code on the User Product (for example, the work has |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
357 been installed in ROM). |
29113 | 358 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
359 The requirement to provide Installation Information does not include a |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
360 requirement to continue to provide support service, warranty, or |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
361 updates for a work that has been modified or installed by the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
362 recipient, or for the User Product in which it has been modified or |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
363 installed. Access to a network may be denied when the modification |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
364 itself materially and adversely affects the operation of the network |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
365 or violates the rules and protocols for communication across the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
366 network. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
367 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
368 Corresponding Source conveyed, and Installation Information provided, |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
369 in accord with this section must be in a format that is publicly |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
370 documented (and with an implementation available to the public in |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
371 source code form), and must require no special password or key for |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
372 unpacking, reading or copying. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
373 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
374 @item Additional Terms. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
375 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
376 ``Additional permissions'' are terms that supplement the terms of this |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
377 License by making exceptions from one or more of its conditions. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
378 Additional permissions that are applicable to the entire Program shall |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
379 be treated as though they were included in this License, to the extent |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
380 that they are valid under applicable law. If additional permissions |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
381 apply only to part of the Program, that part may be used separately |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
382 under those permissions, but the entire Program remains governed by |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
383 this License without regard to the additional permissions. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
384 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
385 When you convey a copy of a covered work, you may at your option |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
386 remove any additional permissions from that copy, or from any part of |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
387 it. (Additional permissions may be written to require their own |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
388 removal in certain cases when you modify the work.) You may place |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
389 additional permissions on material, added by you to a covered work, |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
390 for which you have or can give appropriate copyright permission. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
391 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
392 Notwithstanding any other provision of this License, for material you |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
393 add to a covered work, you may (if authorized by the copyright holders |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
394 of that material) supplement the terms of this License with terms: |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
395 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
396 @enumerate a |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
397 @item |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
398 Disclaiming warranty or limiting liability differently from the terms |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
399 of sections 15 and 16 of this License; or |
29113 | 400 |
401 @item | |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
402 Requiring preservation of specified reasonable legal notices or author |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
403 attributions in that material or in the Appropriate Legal Notices |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
404 displayed by works containing it; or |
29113 | 405 |
406 @item | |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
407 Prohibiting misrepresentation of the origin of that material, or |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
408 requiring that modified versions of such material be marked in |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
409 reasonable ways as different from the original version; or |
29113 | 410 |
411 @item | |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
412 Limiting the use for publicity purposes of names of licensors or |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
413 authors of the material; or |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
414 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
415 @item |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
416 Declining to grant rights under trademark law for use of some trade |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
417 names, trademarks, or service marks; or |
29113 | 418 |
419 @item | |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
420 Requiring indemnification of licensors and authors of that material by |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
421 anyone who conveys the material (or modified versions of it) with |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
422 contractual assumptions of liability to the recipient, for any |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
423 liability that these contractual assumptions directly impose on those |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
424 licensors and authors. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
425 @end enumerate |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
426 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
427 All other non-permissive additional terms are considered ``further |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
428 restrictions'' within the meaning of section 10. If the Program as you |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
429 received it, or any part of it, contains a notice stating that it is |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
430 governed by this License along with a term that is a further |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
431 restriction, you may remove that term. If a license document contains |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
432 a further restriction but permits relicensing or conveying under this |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
433 License, you may add to a covered work material governed by the terms |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
434 of that license document, provided that the further restriction does |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
435 not survive such relicensing or conveying. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
436 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
437 If you add terms to a covered work in accord with this section, you |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
438 must place, in the relevant source files, a statement of the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
439 additional terms that apply to those files, or a notice indicating |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
440 where to find the applicable terms. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
441 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
442 Additional terms, permissive or non-permissive, may be stated in the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
443 form of a separately written license, or stated as exceptions; the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
444 above requirements apply either way. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
445 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
446 @item Termination. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
447 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
448 You may not propagate or modify a covered work except as expressly |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
449 provided under this License. Any attempt otherwise to propagate or |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
450 modify it is void, and will automatically terminate your rights under |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
451 this License (including any patent licenses granted under the third |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
452 paragraph of section 11). |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
453 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
454 However, if you cease all violation of this License, then your license |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
455 from a particular copyright holder is reinstated (a) provisionally, |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
456 unless and until the copyright holder explicitly and finally |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
457 terminates your license, and (b) permanently, if the copyright holder |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
458 fails to notify you of the violation by some reasonable means prior to |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
459 60 days after the cessation. |
29113 | 460 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
461 Moreover, your license from a particular copyright holder is |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
462 reinstated permanently if the copyright holder notifies you of the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
463 violation by some reasonable means, this is the first time you have |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
464 received notice of violation of this License (for any work) from that |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
465 copyright holder, and you cure the violation prior to 30 days after |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
466 your receipt of the notice. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
467 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
468 Termination of your rights under this section does not terminate the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
469 licenses of parties who have received copies or rights from you under |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
470 this License. If your rights have been terminated and not permanently |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
471 reinstated, you do not qualify to receive new licenses for the same |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
472 material under section 10. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
473 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
474 @item Acceptance Not Required for Having Copies. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
475 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
476 You are not required to accept this License in order to receive or run |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
477 a copy of the Program. Ancillary propagation of a covered work |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
478 occurring solely as a consequence of using peer-to-peer transmission |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
479 to receive a copy likewise does not require acceptance. However, |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
480 nothing other than this License grants you permission to propagate or |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
481 modify any covered work. These actions infringe copyright if you do |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
482 not accept this License. Therefore, by modifying or propagating a |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
483 covered work, you indicate your acceptance of this License to do so. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
484 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
485 @item Automatic Licensing of Downstream Recipients. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
486 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
487 Each time you convey a covered work, the recipient automatically |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
488 receives a license from the original licensors, to run, modify and |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
489 propagate that work, subject to this License. You are not responsible |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
490 for enforcing compliance by third parties with this License. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
491 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
492 An ``entity transaction'' is a transaction transferring control of an |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
493 organization, or substantially all assets of one, or subdividing an |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
494 organization, or merging organizations. If propagation of a covered |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
495 work results from an entity transaction, each party to that |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
496 transaction who receives a copy of the work also receives whatever |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
497 licenses to the work the party's predecessor in interest had or could |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
498 give under the previous paragraph, plus a right to possession of the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
499 Corresponding Source of the work from the predecessor in interest, if |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
500 the predecessor has it or can get it with reasonable efforts. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
501 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
502 You may not impose any further restrictions on the exercise of the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
503 rights granted or affirmed under this License. For example, you may |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
504 not impose a license fee, royalty, or other charge for exercise of |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
505 rights granted under this License, and you may not initiate litigation |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
506 (including a cross-claim or counterclaim in a lawsuit) alleging that |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
507 any patent claim is infringed by making, using, selling, offering for |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
508 sale, or importing the Program or any portion of it. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
509 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
510 @item Patents. |
29113 | 511 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
512 A ``contributor'' is a copyright holder who authorizes use under this |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
513 License of the Program or a work on which the Program is based. The |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
514 work thus licensed is called the contributor's ``contributor version''. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
515 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
516 A contributor's ``essential patent claims'' are all patent claims owned |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
517 or controlled by the contributor, whether already acquired or |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
518 hereafter acquired, that would be infringed by some manner, permitted |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
519 by this License, of making, using, or selling its contributor version, |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
520 but do not include claims that would be infringed only as a |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
521 consequence of further modification of the contributor version. For |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
522 purposes of this definition, ``control'' includes the right to grant |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
523 patent sublicenses in a manner consistent with the requirements of |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
524 this License. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
525 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
526 Each contributor grants you a non-exclusive, worldwide, royalty-free |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
527 patent license under the contributor's essential patent claims, to |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
528 make, use, sell, offer for sale, import and otherwise run, modify and |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
529 propagate the contents of its contributor version. |
29113 | 530 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
531 In the following three paragraphs, a ``patent license'' is any express |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
532 agreement or commitment, however denominated, not to enforce a patent |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
533 (such as an express permission to practice a patent or covenant not to |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
534 sue for patent infringement). To ``grant'' such a patent license to a |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
535 party means to make such an agreement or commitment not to enforce a |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
536 patent against the party. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
537 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
538 If you convey a covered work, knowingly relying on a patent license, |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
539 and the Corresponding Source of the work is not available for anyone |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
540 to copy, free of charge and under the terms of this License, through a |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
541 publicly available network server or other readily accessible means, |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
542 then you must either (1) cause the Corresponding Source to be so |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
543 available, or (2) arrange to deprive yourself of the benefit of the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
544 patent license for this particular work, or (3) arrange, in a manner |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
545 consistent with the requirements of this License, to extend the patent |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
546 license to downstream recipients. ``Knowingly relying'' means you have |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
547 actual knowledge that, but for the patent license, your conveying the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
548 covered work in a country, or your recipient's use of the covered work |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
549 in a country, would infringe one or more identifiable patents in that |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
550 country that you have reason to believe are valid. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
551 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
552 If, pursuant to or in connection with a single transaction or |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
553 arrangement, you convey, or propagate by procuring conveyance of, a |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
554 covered work, and grant a patent license to some of the parties |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
555 receiving the covered work authorizing them to use, propagate, modify |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
556 or convey a specific copy of the covered work, then the patent license |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
557 you grant is automatically extended to all recipients of the covered |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
558 work and works based on it. |
29113 | 559 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
560 A patent license is ``discriminatory'' if it does not include within the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
561 scope of its coverage, prohibits the exercise of, or is conditioned on |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
562 the non-exercise of one or more of the rights that are specifically |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
563 granted under this License. You may not convey a covered work if you |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
564 are a party to an arrangement with a third party that is in the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
565 business of distributing software, under which you make payment to the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
566 third party based on the extent of your activity of conveying the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
567 work, and under which the third party grants, to any of the parties |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
568 who would receive the covered work from you, a discriminatory patent |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
569 license (a) in connection with copies of the covered work conveyed by |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
570 you (or copies made from those copies), or (b) primarily for and in |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
571 connection with specific products or compilations that contain the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
572 covered work, unless you entered into that arrangement, or that patent |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
573 license was granted, prior to 28 March 2007. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
574 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
575 Nothing in this License shall be construed as excluding or limiting |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
576 any implied license or other defenses to infringement that may |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
577 otherwise be available to you under applicable patent law. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
578 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
579 @item No Surrender of Others' Freedom. |
29113 | 580 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
581 If conditions are imposed on you (whether by court order, agreement or |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
582 otherwise) that contradict the conditions of this License, they do not |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
583 excuse you from the conditions of this License. If you cannot convey |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
584 a covered work so as to satisfy simultaneously your obligations under |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
585 this License and any other pertinent obligations, then as a |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
586 consequence you may not convey it at all. For example, if you agree |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
587 to terms that obligate you to collect a royalty for further conveying |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
588 from those to whom you convey the Program, the only way you could |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
589 satisfy both those terms and this License would be to refrain entirely |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
590 from conveying the Program. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
591 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
592 @item Use with the GNU Affero General Public License. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
593 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
594 Notwithstanding any other provision of this License, you have |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
595 permission to link or combine any covered work with a work licensed |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
596 under version 3 of the GNU Affero General Public License into a single |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
597 combined work, and to convey the resulting work. The terms of this |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
598 License will continue to apply to the part which is the covered work, |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
599 but the special requirements of the GNU Affero General Public License, |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
600 section 13, concerning interaction through a network will apply to the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
601 combination as such. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
602 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
603 @item Revised Versions of this License. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
604 |
29113 | 605 The Free Software Foundation may publish revised and/or new versions |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
606 of the GNU General Public License from time to time. Such new |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
607 versions will be similar in spirit to the present version, but may |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
608 differ in detail to address new problems or concerns. |
29113 | 609 |
610 Each version is given a distinguishing version number. If the Program | |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
611 specifies that a certain numbered version of the GNU General Public |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
612 License ``or any later version'' applies to it, you have the option of |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
613 following the terms and conditions either of that numbered version or |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
614 of any later version published by the Free Software Foundation. If |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
615 the Program does not specify a version number of the GNU General |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
616 Public License, you may choose any version ever published by the Free |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
617 Software Foundation. |
29113 | 618 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
619 If the Program specifies that a proxy can decide which future versions |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
620 of the GNU General Public License can be used, that proxy's public |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
621 statement of acceptance of a version permanently authorizes you to |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
622 choose that version for the Program. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
623 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
624 Later license versions may give you additional or different |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
625 permissions. However, no additional obligations are imposed on any |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
626 author or copyright holder as a result of your choosing to follow a |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
627 later version. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
628 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
629 @item Disclaimer of Warranty. |
29113 | 630 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
631 THERE IS NO WARRANTY FOR THE PROGRAM, TO THE EXTENT PERMITTED BY |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
632 APPLICABLE LAW. EXCEPT WHEN OTHERWISE STATED IN WRITING THE COPYRIGHT |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
633 HOLDERS AND/OR OTHER PARTIES PROVIDE THE PROGRAM ``AS IS'' WITHOUT |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
634 WARRANTY OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, BUT NOT |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
635 LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
636 A PARTICULAR PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
637 PERFORMANCE OF THE PROGRAM IS WITH YOU. SHOULD THE PROGRAM PROVE |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
638 DEFECTIVE, YOU ASSUME THE COST OF ALL NECESSARY SERVICING, REPAIR OR |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
639 CORRECTION. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
640 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
641 @item Limitation of Liability. |
29113 | 642 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
643 IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
644 WILL ANY COPYRIGHT HOLDER, OR ANY OTHER PARTY WHO MODIFIES AND/OR |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
645 CONVEYS THE PROGRAM AS PERMITTED ABOVE, BE LIABLE TO YOU FOR DAMAGES, |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
646 INCLUDING ANY GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
647 ARISING OUT OF THE USE OR INABILITY TO USE THE PROGRAM (INCLUDING BUT |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
648 NOT LIMITED TO LOSS OF DATA OR DATA BEING RENDERED INACCURATE OR |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
649 LOSSES SUSTAINED BY YOU OR THIRD PARTIES OR A FAILURE OF THE PROGRAM |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
650 TO OPERATE WITH ANY OTHER PROGRAMS), EVEN IF SUCH HOLDER OR OTHER |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
651 PARTY HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES. |
29113 | 652 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
653 @item Interpretation of Sections 15 and 16. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
654 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
655 If the disclaimer of warranty and limitation of liability provided |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
656 above cannot be given local legal effect according to their terms, |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
657 reviewing courts shall apply local law that most closely approximates |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
658 an absolute waiver of all civil liability in connection with the |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
659 Program, unless a warranty or assumption of liability accompanies a |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
660 copy of the Program in return for a fee. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
661 |
29113 | 662 @end enumerate |
663 | |
664 @heading END OF TERMS AND CONDITIONS | |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
665 |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
666 @heading How to Apply These Terms to Your New Programs |
29113 | 667 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
668 If you develop a new program, and you want it to be of the greatest |
29113 | 669 possible use to the public, the best way to achieve this is to make it |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
670 free software which everyone can redistribute and change under these |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
671 terms. |
29113 | 672 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
673 To do so, attach the following notices to the program. It is safest |
29113 | 674 to attach them to the start of each source file to most effectively |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
675 state the exclusion of warranty; and each file should have at least |
29113 | 676 the ``copyright'' line and a pointer to where the full notice is found. |
677 | |
678 @smallexample | |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
679 @var{one line to give the program's name and a brief idea of what it does.} |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
680 Copyright (C) @var{year} @var{name of author} |
29113 | 681 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
682 This program is free software: you can redistribute it and/or modify |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
683 it under the terms of the GNU General Public License as published by |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
684 the Free Software Foundation, either version 3 of the License, or (at |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
685 your option) any later version. |
29113 | 686 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
687 This program is distributed in the hope that it will be useful, but |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
688 WITHOUT ANY WARRANTY; without even the implied warranty of |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
689 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
690 General Public License for more details. |
29113 | 691 |
692 You should have received a copy of the GNU General Public License | |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
693 along with this program. If not, see @url{http://www.gnu.org/licenses/}. |
29113 | 694 @end smallexample |
695 | |
696 Also add information on how to contact you by electronic and paper mail. | |
697 | |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
698 If the program does terminal interaction, make it output a short |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
699 notice like this when it starts in an interactive mode: |
29113 | 700 |
701 @smallexample | |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
702 @var{program} Copyright (C) @var{year} @var{name of author} |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
703 This program comes with ABSOLUTELY NO WARRANTY; for details type @samp{show w}. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
704 This is free software, and you are welcome to redistribute it |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
705 under certain conditions; type @samp{show c} for details. |
29113 | 706 @end smallexample |
707 | |
708 The hypothetical commands @samp{show w} and @samp{show c} should show | |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
709 the appropriate parts of the General Public License. Of course, your |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
710 program's commands might be different; for a GUI interface, you would |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
711 use an ``about box''. |
29113 | 712 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
713 You should also get your employer (if you work as a programmer) or school, |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
714 if any, to sign a ``copyright disclaimer'' for the program, if necessary. |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
715 For more information on this, and how to apply and follow the GNU GPL, see |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
716 @url{http://www.gnu.org/licenses/}. |
29113 | 717 |
78328
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
718 The GNU General Public License does not permit incorporating your |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
719 program into proprietary programs. If your program is a subroutine |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
720 library, you may consider it more useful to permit linking proprietary |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
721 applications with the library. If this is what you want to do, use |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
722 the GNU Lesser General Public License instead of this License. But |
bb004f4a49c2
(GPL): Replace license with GPLv3.
Glenn Morris <rgm@gnu.org>
parents:
72900
diff
changeset
|
723 first, please read @url{http://www.gnu.org/philosophy/why-not-lgpl.html}. |
29113 | 724 |
52401 | 725 @ignore |
726 arch-tag: d00ac830-e120-41fb-bbc5-7ca3eeaa227f | |
727 @end ignore |