annotate doc/lispintro/doclicense.texi @ 107777:13c077500eb3

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