annotate lispref/doclicense.texi @ 52892:8a19599151b0

(compile-auto-highlight): Undo July 7 change.
author Richard M. Stallman <rms@gnu.org>
date Mon, 20 Oct 2003 23:31:27 +0000
parents 695cf19ef79e
children 23a17af379b1 375f2633d815
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1 @c -*-texinfo-*-
30904
a0af1af4aabf * .cvsignore: New file.
Werner LEMBERG <wl@gnu.org>
parents: 29341
diff changeset
2 @node GNU Free Documentation License, GPL, Antinews, Top
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
3
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
4 @appendix GNU Free Documentation License
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
5 @center Version 1.1, March 2000
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
6
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
7 @display
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
8 Copyright (C) 2000 Free Software Foundation, Inc.
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
9 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
10
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
11 Everyone is permitted to copy and distribute verbatim copies
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
12 of this license document, but changing it is not allowed.
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13 @end display
29340
fc2dddb42ec8 Change @sp1 to @sp 1.
Dave Love <fx@gnu.org>
parents: 28398
diff changeset
14 @sp 1
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
15 @enumerate 0
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
16 @item
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
17 PREAMBLE
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
18
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
19 The purpose of this License is to make a manual, textbook, or other
28398
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
20 written document ``free'' in the sense of freedom: to assure everyone
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
21 the effective freedom to copy and redistribute it, with or without
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
22 modifying it, either commercially or noncommercially. Secondarily,
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
23 this License preserves for the author and publisher a way to get
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
24 credit for their work, while not being considered responsible for
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
25 modifications made by others.
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
26
28398
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
27 This License is a kind of ``copyleft'', which means that derivative
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
28 works of the document must themselves be free in the same sense. It
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
29 complements the GNU General Public License, which is a copyleft
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
30 license designed for free software.
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
31
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
32 We have designed this License in order to use it for manuals for free
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
33 software, because free software needs free documentation: a free
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
34 program should come with manuals providing the same freedoms that the
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
35 software does. But this License is not limited to software manuals;
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
36 it can be used for any textual work, regardless of subject matter or
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
37 whether it is published as a printed book. We recommend this License
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
38 principally for works whose purpose is instruction or reference.
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
39
29340
fc2dddb42ec8 Change @sp1 to @sp 1.
Dave Love <fx@gnu.org>
parents: 28398
diff changeset
40 @sp 1
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
41 @item
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
42 APPLICABILITY AND DEFINITIONS
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
43
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
44 This License applies to any manual or other work that contains a
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
45 notice placed by the copyright holder saying it can be distributed
28398
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
46 under the terms of this License. The ``Document'', below, refers to any
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
47 such manual or work. Any member of the public is a licensee, and is
28398
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
48 addressed as ``you''.
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
49
28398
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
50 A ``Modified Version'' of the Document means any work containing the
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
51 Document or a portion of it, either copied verbatim, or with
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
52 modifications and/or translated into another language.
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
53
28398
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
54 A ``Secondary Section'' is a named appendix or a front-matter section of
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
55 the Document that deals exclusively with the relationship of the
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
56 publishers or authors of the Document to the Document's overall subject
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
57 (or to related matters) and contains nothing that could fall directly
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
58 within that overall subject. (For example, if the Document is in part a
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
59 textbook of mathematics, a Secondary Section may not explain any
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
60 mathematics.) The relationship could be a matter of historical
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
61 connection with the subject or with related matters, or of legal,
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
62 commercial, philosophical, ethical or political position regarding
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
63 them.
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
64
28398
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
65 The ``Invariant Sections'' are certain Secondary Sections whose titles
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
66 are designated, as being those of Invariant Sections, in the notice
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
67 that says that the Document is released under this License.
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
68
28398
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
69 The ``Cover Texts'' are certain short passages of text that are listed,
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
70 as Front-Cover Texts or Back-Cover Texts, in the notice that says that
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
71 the Document is released under this License.
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
72
28398
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
73 A ``Transparent'' copy of the Document means a machine-readable copy,
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
74 represented in a format whose specification is available to the
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
75 general public, whose contents can be viewed and edited directly and
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
76 straightforwardly with generic text editors or (for images composed of
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
77 pixels) generic paint programs or (for drawings) some widely available
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
78 drawing editor, and that is suitable for input to text formatters or
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
79 for automatic translation to a variety of formats suitable for input
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
80 to text formatters. A copy made in an otherwise Transparent file
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
81 format whose markup has been designed to thwart or discourage
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
82 subsequent modification by readers is not Transparent. A copy that is
28398
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
83 not ``Transparent'' is called ``Opaque''.
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
84
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
85 Examples of suitable formats for Transparent copies include plain
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
86 ASCII without markup, Texinfo input format, LaTeX input format, SGML
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
87 or XML using a publicly available DTD, and standard-conforming simple
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
88 HTML designed for human modification. Opaque formats include
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
89 PostScript, PDF, proprietary formats that can be read and edited only
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
90 by proprietary word processors, SGML or XML for which the DTD and/or
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
91 processing tools are not generally available, and the
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
92 machine-generated HTML produced by some word processors for output
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
93 purposes only.
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
94
28398
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
95 The ``Title Page'' means, for a printed book, the title page itself,
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
96 plus such following pages as are needed to hold, legibly, the material
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
97 this License requires to appear in the title page. For works in
28398
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
98 formats which do not have any title page as such, ``Title Page'' means
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
99 the text near the most prominent appearance of the work's title,
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
100 preceding the beginning of the body of the text.
29340
fc2dddb42ec8 Change @sp1 to @sp 1.
Dave Love <fx@gnu.org>
parents: 28398
diff changeset
101 @sp 1
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
102 @item
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
103 VERBATIM COPYING
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
104
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
105 You may copy and distribute the Document in any medium, either
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
106 commercially or noncommercially, provided that this License, the
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
107 copyright notices, and the license notice saying this License applies
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
108 to the Document are reproduced in all copies, and that you add no other
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
109 conditions whatsoever to those of this License. You may not use
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
110 technical measures to obstruct or control the reading or further
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
111 copying of the copies you make or distribute. However, you may accept
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
112 compensation in exchange for copies. If you distribute a large enough
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
113 number of copies you must also follow the conditions in section 3.
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
114
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
115 You may also lend copies, under the same conditions stated above, and
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
116 you may publicly display copies.
29340
fc2dddb42ec8 Change @sp1 to @sp 1.
Dave Love <fx@gnu.org>
parents: 28398
diff changeset
117 @sp 1
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
118 @item
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
119 COPYING IN QUANTITY
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
120
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
121 If you publish printed copies of the Document numbering more than 100,
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
122 and the Document's license notice requires Cover Texts, you must enclose
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
123 the copies in covers that carry, clearly and legibly, all these Cover
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
124 Texts: Front-Cover Texts on the front cover, and Back-Cover Texts on
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
125 the back cover. Both covers must also clearly and legibly identify
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
126 you as the publisher of these copies. The front cover must present
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
127 the full title with all words of the title equally prominent and
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
128 visible. You may add other material on the covers in addition.
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
129 Copying with changes limited to the covers, as long as they preserve
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
130 the title of the Document and satisfy these conditions, can be treated
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
131 as verbatim copying in other respects.
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
132
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
133 If the required texts for either cover are too voluminous to fit
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
134 legibly, you should put the first ones listed (as many as fit
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
135 reasonably) on the actual cover, and continue the rest onto adjacent
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
136 pages.
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
137
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
138 If you publish or distribute Opaque copies of the Document numbering
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
139 more than 100, you must either include a machine-readable Transparent
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
140 copy along with each Opaque copy, or state in or with each Opaque copy
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
141 a publicly-accessible computer-network location containing a complete
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
142 Transparent copy of the Document, free of added material, which the
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
143 general network-using public has access to download anonymously at no
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
144 charge using public-standard network protocols. If you use the latter
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
145 option, you must take reasonably prudent steps, when you begin
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
146 distribution of Opaque copies in quantity, to ensure that this
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
147 Transparent copy will remain thus accessible at the stated location
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
148 until at least one year after the last time you distribute an Opaque
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
149 copy (directly or through your agents or retailers) of that edition to
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
150 the public.
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
151
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
152 It is requested, but not required, that you contact the authors of the
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
153 Document well before redistributing any large number of copies, to give
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
154 them a chance to provide you with an updated version of the Document.
29340
fc2dddb42ec8 Change @sp1 to @sp 1.
Dave Love <fx@gnu.org>
parents: 28398
diff changeset
155 @sp 1
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
156 @item
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
157 MODIFICATIONS
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
158
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
159 You may copy and distribute a Modified Version of the Document under
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
160 the conditions of sections 2 and 3 above, provided that you release
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
161 the Modified Version under precisely this License, with the Modified
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
162 Version filling the role of the Document, thus licensing distribution
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
163 and modification of the Modified Version to whoever possesses a copy
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
164 of it. In addition, you must do these things in the Modified Version:
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
165
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
166 A. Use in the Title Page (and on the covers, if any) a title distinct
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
167 from that of the Document, and from those of previous versions
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
168 (which should, if there were any, be listed in the History section
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
169 of the Document). You may use the same title as a previous version
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
170 if the original publisher of that version gives permission.@*
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
171 B. List on the Title Page, as authors, one or more persons or entities
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
172 responsible for authorship of the modifications in the Modified
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
173 Version, together with at least five of the principal authors of the
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
174 Document (all of its principal authors, if it has less than five).@*
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
175 C. State on the Title page the name of the publisher of the
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
176 Modified Version, as the publisher.@*
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
177 D. Preserve all the copyright notices of the Document.@*
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
178 E. Add an appropriate copyright notice for your modifications
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
179 adjacent to the other copyright notices.@*
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
180 F. Include, immediately after the copyright notices, a license notice
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
181 giving the public permission to use the Modified Version under the
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
182 terms of this License, in the form shown in the Addendum below.@*
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
183 G. Preserve in that license notice the full lists of Invariant Sections
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
184 and required Cover Texts given in the Document's license notice.@*
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
185 H. Include an unaltered copy of this License.@*
28398
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
186 I. Preserve the section entitled ``History'', and its title, and add to
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
187 it an item stating at least the title, year, new authors, and
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
188 publisher of the Modified Version as given on the Title Page. If
28398
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
189 there is no section entitled ``History'' in the Document, create one
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
190 stating the title, year, authors, and publisher of the Document as
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
191 given on its Title Page, then add an item describing the Modified
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
192 Version as stated in the previous sentence.@*
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
193 J. Preserve the network location, if any, given in the Document for
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
194 public access to a Transparent copy of the Document, and likewise
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
195 the network locations given in the Document for previous versions
28398
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
196 it was based on. These may be placed in the ``History'' section.
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
197 You may omit a network location for a work that was published at
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
198 least four years before the Document itself, or if the original
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
199 publisher of the version it refers to gives permission.@*
28398
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
200 K. In any section entitled ``Acknowledgements'' or ``Dedications'',
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
201 preserve the section's title, and preserve in the section all the
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
202 substance and tone of each of the contributor acknowledgements
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
203 and/or dedications given therein.@*
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
204 L. Preserve all the Invariant Sections of the Document,
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
205 unaltered in their text and in their titles. Section numbers
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
206 or the equivalent are not considered part of the section titles.@*
28398
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
207 M. Delete any section entitled ``Endorsements''. Such a section
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
208 may not be included in the Modified Version.@*
28398
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
209 N. Do not retitle any existing section as ``Endorsements''
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
210 or to conflict in title with any Invariant Section.@*
29340
fc2dddb42ec8 Change @sp1 to @sp 1.
Dave Love <fx@gnu.org>
parents: 28398
diff changeset
211 @sp 1
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
212 If the Modified Version includes new front-matter sections or
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
213 appendices that qualify as Secondary Sections and contain no material
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
214 copied from the Document, you may at your option designate some or all
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
215 of these sections as invariant. To do this, add their titles to the
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
216 list of Invariant Sections in the Modified Version's license notice.
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
217 These titles must be distinct from any other section titles.
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
218
28398
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
219 You may add a section entitled ``Endorsements'', provided it contains
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
220 nothing but endorsements of your Modified Version by various
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
221 parties--for example, statements of peer review or that the text has
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
222 been approved by an organization as the authoritative definition of a
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
223 standard.
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
224
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
225 You may add a passage of up to five words as a Front-Cover Text, and a
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
226 passage of up to 25 words as a Back-Cover Text, to the end of the list
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
227 of Cover Texts in the Modified Version. Only one passage of
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
228 Front-Cover Text and one of Back-Cover Text may be added by (or
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
229 through arrangements made by) any one entity. If the Document already
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
230 includes a cover text for the same cover, previously added by you or
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
231 by arrangement made by the same entity you are acting on behalf of,
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
232 you may not add another; but you may replace the old one, on explicit
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
233 permission from the previous publisher that added the old one.
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
234
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
235 The author(s) and publisher(s) of the Document do not by this License
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
236 give permission to use their names for publicity for or to assert or
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
237 imply endorsement of any Modified Version.
29340
fc2dddb42ec8 Change @sp1 to @sp 1.
Dave Love <fx@gnu.org>
parents: 28398
diff changeset
238 @sp 1
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
239 @item
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
240 COMBINING DOCUMENTS
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
241
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
242 You may combine the Document with other documents released under this
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
243 License, under the terms defined in section 4 above for modified
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
244 versions, provided that you include in the combination all of the
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
245 Invariant Sections of all of the original documents, unmodified, and
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
246 list them all as Invariant Sections of your combined work in its
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
247 license notice.
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
248
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
249 The combined work need only contain one copy of this License, and
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
250 multiple identical Invariant Sections may be replaced with a single
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
251 copy. If there are multiple Invariant Sections with the same name but
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
252 different contents, make the title of each such section unique by
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
253 adding at the end of it, in parentheses, the name of the original
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
254 author or publisher of that section if known, or else a unique number.
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
255 Make the same adjustment to the section titles in the list of
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
256 Invariant Sections in the license notice of the combined work.
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
257
28398
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
258 In the combination, you must combine any sections entitled ``History''
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
259 in the various original documents, forming one section entitled
28398
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
260 ``History''; likewise combine any sections entitled ``Acknowledgements'',
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
261 and any sections entitled ``Dedications''. You must delete all sections
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
262 entitled ``Endorsements.''
29340
fc2dddb42ec8 Change @sp1 to @sp 1.
Dave Love <fx@gnu.org>
parents: 28398
diff changeset
263 @sp 1
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
264 @item
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
265 COLLECTIONS OF DOCUMENTS
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
266
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
267 You may make a collection consisting of the Document and other documents
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
268 released under this License, and replace the individual copies of this
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
269 License in the various documents with a single copy that is included in
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
270 the collection, provided that you follow the rules of this License for
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
271 verbatim copying of each of the documents in all other respects.
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
272
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
273 You may extract a single document from such a collection, and distribute
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
274 it individually under this License, provided you insert a copy of this
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
275 License into the extracted document, and follow this License in all
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
276 other respects regarding verbatim copying of that document.
29340
fc2dddb42ec8 Change @sp1 to @sp 1.
Dave Love <fx@gnu.org>
parents: 28398
diff changeset
277 @sp 1
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
278 @item
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
279 AGGREGATION WITH INDEPENDENT WORKS
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
280
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
281 A compilation of the Document or its derivatives with other separate
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
282 and independent documents or works, in or on a volume of a storage or
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
283 distribution medium, does not as a whole count as a Modified Version
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
284 of the Document, provided no compilation copyright is claimed for the
28398
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
285 compilation. Such a compilation is called an ``aggregate'', and this
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
286 License does not apply to the other self-contained works thus compiled
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
287 with the Document, on account of their being thus compiled, if they
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
288 are not themselves derivative works of the Document.
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
289
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
290 If the Cover Text requirement of section 3 is applicable to these
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
291 copies of the Document, then if the Document is less than one quarter
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
292 of the entire aggregate, the Document's Cover Texts may be placed on
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
293 covers that surround only the Document within the aggregate.
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
294 Otherwise they must appear on covers around the whole aggregate.
29340
fc2dddb42ec8 Change @sp1 to @sp 1.
Dave Love <fx@gnu.org>
parents: 28398
diff changeset
295 @sp 1
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
296 @item
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
297 TRANSLATION
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
298
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
299 Translation is considered a kind of modification, so you may
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
300 distribute translations of the Document under the terms of section 4.
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
301 Replacing Invariant Sections with translations requires special
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
302 permission from their copyright holders, but you may include
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
303 translations of some or all Invariant Sections in addition to the
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
304 original versions of these Invariant Sections. You may include a
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
305 translation of this License provided that you also include the
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
306 original English version of this License. In case of a disagreement
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
307 between the translation and the original English version of this
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
308 License, the original English version will prevail.
29340
fc2dddb42ec8 Change @sp1 to @sp 1.
Dave Love <fx@gnu.org>
parents: 28398
diff changeset
309 @sp 1
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
310 @item
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
311 TERMINATION
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
312
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
313 You may not copy, modify, sublicense, or distribute the Document except
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
314 as expressly provided for under this License. Any other attempt to
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
315 copy, modify, sublicense or distribute the Document is void, and will
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
316 automatically terminate your rights under this License. However,
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
317 parties who have received copies, or rights, from you under this
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
318 License will not have their licenses terminated so long as such
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
319 parties remain in full compliance.
29340
fc2dddb42ec8 Change @sp1 to @sp 1.
Dave Love <fx@gnu.org>
parents: 28398
diff changeset
320 @sp 1
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
321 @item
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
322 FUTURE REVISIONS OF THIS LICENSE
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
323
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
324 The Free Software Foundation may publish new, revised versions
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
325 of the GNU Free Documentation License from time to time. Such new
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
326 versions will be similar in spirit to the present version, but may
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
327 differ in detail to address new problems or concerns. See
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
328 http://www.gnu.org/copyleft/.
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
329
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
330 Each version of the License is given a distinguishing version number.
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
331 If the Document specifies that a particular numbered version of this
28398
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
332 License ``or any later version'' applies to it, you have the option of
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
333 following the terms and conditions either of that specified version or
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
334 of any later version that has been published (not as a draft) by the
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
335 Free Software Foundation. If the Document does not specify a version
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
336 number of this License, you may choose any version ever published (not
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
337 as a draft) by the Free Software Foundation.
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
338
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
339 @end enumerate
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
340
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
341 @unnumberedsec ADDENDUM: How to use this License for your documents
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
342
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
343 To use this License in a document you have written, include a copy of
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
344 the License in the document and put the following copyright and
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
345 license notices just after the title page:
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
346
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
347 @smallexample
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
348 @group
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
349
28398
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
350 Copyright (C) @var{year} @var{your name}.
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
351 Permission is granted to copy, distribute and/or modify this document
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
352 under the terms of the GNU Free Documentation License, Version 1.1
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
353 or any later version published by the Free Software Foundation;
28398
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
354 with the Invariant Sections being @var{list their titles}, with the
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
355 Front-Cover Texts being @var{list}, and with the Back-Cover Texts being @var{list}.
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
356 A copy of the license is included in the section entitled ``GNU
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
357 Free Documentation License''.
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
358 @end group
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
359 @end smallexample
28398
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
360 If you have no Invariant Sections, write ``with no Invariant Sections''
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
361 instead of saying which ones are invariant. If you have no
28398
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
362 Front-Cover Texts, write ``no Front-Cover Texts'' instead of
844fb933c1aa *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 28397
diff changeset
363 ``Front-Cover Texts being @var{list}''; likewise for Back-Cover Texts.
28397
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
364
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
365 If your document contains nontrivial examples of program code, we
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
366 recommend releasing these examples in parallel under your choice of
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
367 free software license, such as the GNU General Public License,
a5e68b6ab63e *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
368 to permit their use in free software.
52401
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 30904
diff changeset
369
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 30904
diff changeset
370 @ignore
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 30904
diff changeset
371 arch-tag: 9014cf6e-f3c4-401d-b8da-4fe52723984c
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 30904
diff changeset
372 @end ignore