annotate doc/emacs/doclicense.texi @ 98476:cf237e746d8c

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