annotate man/doclicense.texi @ 42829:07bd6e693cb6

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