Mercurial > hg > octave-shane > gnulib-hg

annotate doc/lgpl-3.0.texi @ 16632:2450f24b2cbc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
logf: Work around OSF/1 5.1 bug. * lib/math.in.h (logf): Override if REPLACE_LOGF is 1. * lib/logf.c (logf): If logf exists, use it and provide just the workaround. * m4/logf.m4 (gl_FUNC_LOGF_WORKS): New macro. (gl_FUNC_LOGF): Invoke it. Set REPLACE_LOGF. * m4/math_h.m4 (gl_MATH_H_DEFAULTS): Initialize REPLACE_LOGF. * modules/math (Makefile.am): Substitute REPLACE_LOGF. * modules/logf (configure.ac): Consider REPLACE_LOGF. (Depends-on): Update conditions. * doc/posix-functions/logf.texi: Mention the OSF/1 5.1 problem.
author Bruno Haible <bruno@clisp.org>
date Sat, 10 Mar 2012 00:55:48 +0100
parents b3076e5a81b5
children 5c365abf0f6f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
9097
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
1 @c The GNU Lesser General Public License.
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
2 @center Version 3, 29 June 2007
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
3
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
4 @c This file is intended to be included within another document,
9485
4e0536363af3 * doc/fdl.texi, doc/gpl-3.0.texi, doc/lgpl-3.0.texi:
Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
parents: 9097
diff changeset
5 @c hence no sectioning command or @node.
9097
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
6
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
7 @display
12519
b3076e5a81b5 maint: sync license texts
Eric Blake <ebb9@byu.net>
parents: 12518
diff changeset
8 Copyright @copyright{} 2007 Free Software Foundation, Inc. @url{http://fsf.org/}
9097
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
9
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
10 Everyone is permitted to copy and distribute verbatim copies of this
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
11 license document, but changing it is not allowed.
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
12 @end display
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
13
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
14 This version of the GNU Lesser General Public License incorporates
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
15 the terms and conditions of version 3 of the GNU General Public
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
16 License, supplemented by the additional permissions listed below.
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
17
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
18 @enumerate 0
9485
4e0536363af3 * doc/fdl.texi, doc/gpl-3.0.texi, doc/lgpl-3.0.texi:
Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
parents: 9097
diff changeset
19 @item Additional Definitions.
9097
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
20
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
21 As used herein, ``this License'' refers to version 3 of the GNU Lesser
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
22 General Public License, and the ``GNU GPL'' refers to version 3 of the GNU
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
23 General Public License.
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
24
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
25 ``The Library'' refers to a covered work governed by this License,
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
26 other than an Application or a Combined Work as defined below.
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
27
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
28 An ``Application'' is any work that makes use of an interface provided
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
29 by the Library, but which is not otherwise based on the Library.
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
30 Defining a subclass of a class defined by the Library is deemed a mode
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
31 of using an interface provided by the Library.
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
32
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
33 A ``Combined Work'' is a work produced by combining or linking an
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
34 Application with the Library. The particular version of the Library
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
35 with which the Combined Work was made is also called the ``Linked
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
36 Version''.
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
37
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
38 The ``Minimal Corresponding Source'' for a Combined Work means the
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
39 Corresponding Source for the Combined Work, excluding any source code
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
40 for portions of the Combined Work that, considered in isolation, are
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
41 based on the Application, and not on the Linked Version.
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
42
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
43 The ``Corresponding Application Code'' for a Combined Work means the
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
44 object code and/or source code for the Application, including any data
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
45 and utility programs needed for reproducing the Combined Work from the
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
46 Application, but excluding the System Libraries of the Combined Work.
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
47
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
48 @item Exception to Section 3 of the GNU GPL.
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
49
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
50 You may convey a covered work under sections 3 and 4 of this License
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
51 without being bound by section 3 of the GNU GPL.
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
52
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
53 @item Conveying Modified Versions.
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
54
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
55 If you modify a copy of the Library, and, in your modifications, a
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
56 facility refers to a function or data to be supplied by an Application
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
57 that uses the facility (other than as an argument passed when the
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
58 facility is invoked), then you may convey a copy of the modified
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
59 version:
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
60
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
61 @enumerate a
9485
4e0536363af3 * doc/fdl.texi, doc/gpl-3.0.texi, doc/lgpl-3.0.texi:
Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
parents: 9097
diff changeset
62 @item
9097
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
63 under this License, provided that you make a good faith effort to
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
64 ensure that, in the event an Application does not supply the
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
65 function or data, the facility still operates, and performs
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
66 whatever part of its purpose remains meaningful, or
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
67
9485
4e0536363af3 * doc/fdl.texi, doc/gpl-3.0.texi, doc/lgpl-3.0.texi:
Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
parents: 9097
diff changeset
68 @item
9097
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
69 under the GNU GPL, with none of the additional permissions of
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
70 this License applicable to that copy.
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
71 @end enumerate
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
72
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
73 @item Object Code Incorporating Material from Library Header Files.
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
74
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
75 The object code form of an Application may incorporate material from
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
76 a header file that is part of the Library. You may convey such object
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
77 code under terms of your choice, provided that, if the incorporated
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
78 material is not limited to numerical parameters, data structure
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
79 layouts and accessors, or small macros, inline functions and templates
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
80 (ten or fewer lines in length), you do both of the following:
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
81
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
82 @enumerate a
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
83 @item
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
84 Give prominent notice with each copy of the object code that the
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
85 Library is used in it and that the Library and its use are
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
86 covered by this License.
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
87 @item
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
88 Accompany the object code with a copy of the GNU GPL and this license
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
89 document.
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
90 @end enumerate
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
91
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
92 @item Combined Works.
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
93
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
94 You may convey a Combined Work under terms of your choice that,
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
95 taken together, effectively do not restrict modification of the
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
96 portions of the Library contained in the Combined Work and reverse
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
97 engineering for debugging such modifications, if you also do each of
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
98 the following:
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
99
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
100 @enumerate a
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
101 @item
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
102 Give prominent notice with each copy of the Combined Work that
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
103 the Library is used in it and that the Library and its use are
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
104 covered by this License.
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
105 @item
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
106 Accompany the Combined Work with a copy of the GNU GPL and this license
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
107 document.
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
108 @item
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
109 For a Combined Work that displays copyright notices during
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
110 execution, include the copyright notice for the Library among
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
111 these notices, as well as a reference directing the user to the
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
112 copies of the GNU GPL and this license document.
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
113 @item
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
114 Do one of the following:
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
115
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
116 @enumerate 0
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
117 @item
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
118 Convey the Minimal Corresponding Source under the terms of this
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
119 License, and the Corresponding Application Code in a form
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
120 suitable for, and under terms that permit, the user to
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
121 recombine or relink the Application with a modified version of
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
122 the Linked Version to produce a modified Combined Work, in the
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
123 manner specified by section 6 of the GNU GPL for conveying
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
124 Corresponding Source.
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
125 @item
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
126 Use a suitable shared library mechanism for linking with the
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
127 Library. A suitable mechanism is one that (a) uses at run time
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
128 a copy of the Library already present on the user's computer
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
129 system, and (b) will operate properly with a modified version
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
130 of the Library that is interface-compatible with the Linked
9485
4e0536363af3 * doc/fdl.texi, doc/gpl-3.0.texi, doc/lgpl-3.0.texi:
Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
parents: 9097
diff changeset
131 Version.
9097
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
132 @end enumerate
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
133
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
134 @item
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
135 Provide Installation Information, but only if you would otherwise
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
136 be required to provide such information under section 6 of the
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
137 GNU GPL, and only to the extent that such information is
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
138 necessary to install and execute a modified version of the
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
139 Combined Work produced by recombining or relinking the
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
140 Application with a modified version of the Linked Version. (If
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
141 you use option 4d0, the Installation Information must accompany
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
142 the Minimal Corresponding Source and Corresponding Application
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
143 Code. If you use option 4d1, you must provide the Installation
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
144 Information in the manner specified by section 6 of the GNU GPL
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
145 for conveying Corresponding Source.)
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
146 @end enumerate
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
147
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
148 @item Combined Libraries.
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
149
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
150 You may place library facilities that are a work based on the
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
151 Library side by side in a single library together with other library
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
152 facilities that are not Applications and are not covered by this
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
153 License, and convey such a combined library under terms of your
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
154 choice, if you do both of the following:
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
155
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
156 @enumerate a
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
157 @item
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
158 Accompany the combined library with a copy of the same work based
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
159 on the Library, uncombined with any other library facilities,
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
160 conveyed under the terms of this License.
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
161 @item
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
162 Give prominent notice with the combined library that part of it
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
163 is a work based on the Library, and explaining where to find the
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
164 accompanying uncombined form of the same work.
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
165 @end enumerate
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
166
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
167 @item Revised Versions of the GNU Lesser General Public License.
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
168
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
169 The Free Software Foundation may publish revised and/or new versions
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
170 of the GNU Lesser General Public License from time to time. Such new
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
171 versions will be similar in spirit to the present version, but may
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
172 differ in detail to address new problems or concerns.
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
173
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
174 Each version is given a distinguishing version number. If the
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
175 Library as you received it specifies that a certain numbered version
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
176 of the GNU Lesser General Public License ``or any later version''
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
177 applies to it, you have the option of following the terms and
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
178 conditions either of that published version or of any later version
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
179 published by the Free Software Foundation. If the Library as you
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
180 received it does not specify a version number of the GNU Lesser
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
181 General Public License, you may choose any version of the GNU Lesser
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
182 General Public License ever published by the Free Software Foundation.
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
183
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
184 If the Library as you received it specifies that a proxy can decide
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
185 whether future versions of the GNU Lesser General Public License shall
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
186 apply, that proxy's public statement of acceptance of any version is
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
187 permanent authorization for you to choose that version for the
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
188 Library.
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
189
e7990121003e add lgpl-3.0.texi; have all Texinfo licenses consistently omit any sectioning and index commands
Karl Berry <karl@freefriends.org>
parents:
diff changeset
190 @end enumerate