annotate doc/lispref/doclicense.texi @ 110210:3d982e5c5f58

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