Blame gprof/fdl.texi

Packit Service 72eb06
@c The GNU Free Documentation License.
Packit Service 72eb06
@center Version 1.3, 3 November 2008
Packit Service 72eb06
Packit Service 72eb06
@c This file is intended to be included within another document,
Packit Service 72eb06
@c hence no sectioning command or @node.
Packit Service 72eb06
Packit Service 72eb06
@display
Packit Service 72eb06
Copyright @copyright{} 2000, 2001, 2002, 2007, 2008 Free Software Foundation, Inc.
Packit Service 72eb06
@uref{http://fsf.org/}
Packit Service 72eb06
Packit Service 72eb06
Everyone is permitted to copy and distribute verbatim copies
Packit Service 72eb06
of this license document, but changing it is not allowed.
Packit Service 72eb06
@end display
Packit Service 72eb06
Packit Service 72eb06
@enumerate 0
Packit Service 72eb06
@item
Packit Service 72eb06
PREAMBLE
Packit Service 72eb06
Packit Service 72eb06
The purpose of this License is to make a manual, textbook, or other
Packit Service 72eb06
functional and useful document @dfn{free} in the sense of freedom: to
Packit Service 72eb06
assure everyone the effective freedom to copy and redistribute it,
Packit Service 72eb06
with or without modifying it, either commercially or noncommercially.
Packit Service 72eb06
Secondarily, this License preserves for the author and publisher a way
Packit Service 72eb06
to get credit for their work, while not being considered responsible
Packit Service 72eb06
for modifications made by others.
Packit Service 72eb06
Packit Service 72eb06
This License is a kind of ``copyleft'', which means that derivative
Packit Service 72eb06
works of the document must themselves be free in the same sense.  It
Packit Service 72eb06
complements the GNU General Public License, which is a copyleft
Packit Service 72eb06
license designed for free software.
Packit Service 72eb06
Packit Service 72eb06
We have designed this License in order to use it for manuals for free
Packit Service 72eb06
software, because free software needs free documentation: a free
Packit Service 72eb06
program should come with manuals providing the same freedoms that the
Packit Service 72eb06
software does.  But this License is not limited to software manuals;
Packit Service 72eb06
it can be used for any textual work, regardless of subject matter or
Packit Service 72eb06
whether it is published as a printed book.  We recommend this License
Packit Service 72eb06
principally for works whose purpose is instruction or reference.
Packit Service 72eb06
Packit Service 72eb06
@item
Packit Service 72eb06
APPLICABILITY AND DEFINITIONS
Packit Service 72eb06
Packit Service 72eb06
This License applies to any manual or other work, in any medium, that
Packit Service 72eb06
contains a notice placed by the copyright holder saying it can be
Packit Service 72eb06
distributed under the terms of this License.  Such a notice grants a
Packit Service 72eb06
world-wide, royalty-free license, unlimited in duration, to use that
Packit Service 72eb06
work under the conditions stated herein.  The ``Document'', below,
Packit Service 72eb06
refers to any such manual or work.  Any member of the public is a
Packit Service 72eb06
licensee, and is addressed as ``you''.  You accept the license if you
Packit Service 72eb06
copy, modify or distribute the work in a way requiring permission
Packit Service 72eb06
under copyright law.
Packit Service 72eb06
Packit Service 72eb06
A ``Modified Version'' of the Document means any work containing the
Packit Service 72eb06
Document or a portion of it, either copied verbatim, or with
Packit Service 72eb06
modifications and/or translated into another language.
Packit Service 72eb06
Packit Service 72eb06
A ``Secondary Section'' is a named appendix or a front-matter section
Packit Service 72eb06
of the Document that deals exclusively with the relationship of the
Packit Service 72eb06
publishers or authors of the Document to the Document's overall
Packit Service 72eb06
subject (or to related matters) and contains nothing that could fall
Packit Service 72eb06
directly within that overall subject.  (Thus, if the Document is in
Packit Service 72eb06
part a textbook of mathematics, a Secondary Section may not explain
Packit Service 72eb06
any mathematics.)  The relationship could be a matter of historical
Packit Service 72eb06
connection with the subject or with related matters, or of legal,
Packit Service 72eb06
commercial, philosophical, ethical or political position regarding
Packit Service 72eb06
them.
Packit Service 72eb06
Packit Service 72eb06
The ``Invariant Sections'' are certain Secondary Sections whose titles
Packit Service 72eb06
are designated, as being those of Invariant Sections, in the notice
Packit Service 72eb06
that says that the Document is released under this License.  If a
Packit Service 72eb06
section does not fit the above definition of Secondary then it is not
Packit Service 72eb06
allowed to be designated as Invariant.  The Document may contain zero
Packit Service 72eb06
Invariant Sections.  If the Document does not identify any Invariant
Packit Service 72eb06
Sections then there are none.
Packit Service 72eb06
Packit Service 72eb06
The ``Cover Texts'' are certain short passages of text that are listed,
Packit Service 72eb06
as Front-Cover Texts or Back-Cover Texts, in the notice that says that
Packit Service 72eb06
the Document is released under this License.  A Front-Cover Text may
Packit Service 72eb06
be at most 5 words, and a Back-Cover Text may be at most 25 words.
Packit Service 72eb06
Packit Service 72eb06
A ``Transparent'' copy of the Document means a machine-readable copy,
Packit Service 72eb06
represented in a format whose specification is available to the
Packit Service 72eb06
general public, that is suitable for revising the document
Packit Service 72eb06
straightforwardly with generic text editors or (for images composed of
Packit Service 72eb06
pixels) generic paint programs or (for drawings) some widely available
Packit Service 72eb06
drawing editor, and that is suitable for input to text formatters or
Packit Service 72eb06
for automatic translation to a variety of formats suitable for input
Packit Service 72eb06
to text formatters.  A copy made in an otherwise Transparent file
Packit Service 72eb06
format whose markup, or absence of markup, has been arranged to thwart
Packit Service 72eb06
or discourage subsequent modification by readers is not Transparent.
Packit Service 72eb06
An image format is not Transparent if used for any substantial amount
Packit Service 72eb06
of text.  A copy that is not ``Transparent'' is called ``Opaque''.
Packit Service 72eb06
Packit Service 72eb06
Examples of suitable formats for Transparent copies include plain
Packit Service 72eb06
@sc{ascii} without markup, Texinfo input format, La@TeX{} input
Packit Service 72eb06
format, @acronym{SGML} or @acronym{XML} using a publicly available
Packit Service 72eb06
@acronym{DTD}, and standard-conforming simple @acronym{HTML},
Packit Service 72eb06
PostScript or @acronym{PDF} designed for human modification.  Examples
Packit Service 72eb06
of transparent image formats include @acronym{PNG}, @acronym{XCF} and
Packit Service 72eb06
@acronym{JPG}.  Opaque formats include proprietary formats that can be
Packit Service 72eb06
read and edited only by proprietary word processors, @acronym{SGML} or
Packit Service 72eb06
@acronym{XML} for which the @acronym{DTD} and/or processing tools are
Packit Service 72eb06
not generally available, and the machine-generated @acronym{HTML},
Packit Service 72eb06
PostScript or @acronym{PDF} produced by some word processors for
Packit Service 72eb06
output purposes only.
Packit Service 72eb06
Packit Service 72eb06
The ``Title Page'' means, for a printed book, the title page itself,
Packit Service 72eb06
plus such following pages as are needed to hold, legibly, the material
Packit Service 72eb06
this License requires to appear in the title page.  For works in
Packit Service 72eb06
formats which do not have any title page as such, ``Title Page'' means
Packit Service 72eb06
the text near the most prominent appearance of the work's title,
Packit Service 72eb06
preceding the beginning of the body of the text.
Packit Service 72eb06
Packit Service 72eb06
The ``publisher'' means any person or entity that distributes copies
Packit Service 72eb06
of the Document to the public.
Packit Service 72eb06
Packit Service 72eb06
A section ``Entitled XYZ'' means a named subunit of the Document whose
Packit Service 72eb06
title either is precisely XYZ or contains XYZ in parentheses following
Packit Service 72eb06
text that translates XYZ in another language.  (Here XYZ stands for a
Packit Service 72eb06
specific section name mentioned below, such as ``Acknowledgements'',
Packit Service 72eb06
``Dedications'', ``Endorsements'', or ``History''.)  To ``Preserve the Title''
Packit Service 72eb06
of such a section when you modify the Document means that it remains a
Packit Service 72eb06
section ``Entitled XYZ'' according to this definition.
Packit Service 72eb06
Packit Service 72eb06
The Document may include Warranty Disclaimers next to the notice which
Packit Service 72eb06
states that this License applies to the Document.  These Warranty
Packit Service 72eb06
Disclaimers are considered to be included by reference in this
Packit Service 72eb06
License, but only as regards disclaiming warranties: any other
Packit Service 72eb06
implication that these Warranty Disclaimers may have is void and has
Packit Service 72eb06
no effect on the meaning of this License.
Packit Service 72eb06
Packit Service 72eb06
@item
Packit Service 72eb06
VERBATIM COPYING
Packit Service 72eb06
Packit Service 72eb06
You may copy and distribute the Document in any medium, either
Packit Service 72eb06
commercially or noncommercially, provided that this License, the
Packit Service 72eb06
copyright notices, and the license notice saying this License applies
Packit Service 72eb06
to the Document are reproduced in all copies, and that you add no other
Packit Service 72eb06
conditions whatsoever to those of this License.  You may not use
Packit Service 72eb06
technical measures to obstruct or control the reading or further
Packit Service 72eb06
copying of the copies you make or distribute.  However, you may accept
Packit Service 72eb06
compensation in exchange for copies.  If you distribute a large enough
Packit Service 72eb06
number of copies you must also follow the conditions in section 3.
Packit Service 72eb06
Packit Service 72eb06
You may also lend copies, under the same conditions stated above, and
Packit Service 72eb06
you may publicly display copies.
Packit Service 72eb06
Packit Service 72eb06
@item
Packit Service 72eb06
COPYING IN QUANTITY
Packit Service 72eb06
Packit Service 72eb06
If you publish printed copies (or copies in media that commonly have
Packit Service 72eb06
printed covers) of the Document, numbering more than 100, and the
Packit Service 72eb06
Document's license notice requires Cover Texts, you must enclose the
Packit Service 72eb06
copies in covers that carry, clearly and legibly, all these Cover
Packit Service 72eb06
Texts: Front-Cover Texts on the front cover, and Back-Cover Texts on
Packit Service 72eb06
the back cover.  Both covers must also clearly and legibly identify
Packit Service 72eb06
you as the publisher of these copies.  The front cover must present
Packit Service 72eb06
the full title with all words of the title equally prominent and
Packit Service 72eb06
visible.  You may add other material on the covers in addition.
Packit Service 72eb06
Copying with changes limited to the covers, as long as they preserve
Packit Service 72eb06
the title of the Document and satisfy these conditions, can be treated
Packit Service 72eb06
as verbatim copying in other respects.
Packit Service 72eb06
Packit Service 72eb06
If the required texts for either cover are too voluminous to fit
Packit Service 72eb06
legibly, you should put the first ones listed (as many as fit
Packit Service 72eb06
reasonably) on the actual cover, and continue the rest onto adjacent
Packit Service 72eb06
pages.
Packit Service 72eb06
Packit Service 72eb06
If you publish or distribute Opaque copies of the Document numbering
Packit Service 72eb06
more than 100, you must either include a machine-readable Transparent
Packit Service 72eb06
copy along with each Opaque copy, or state in or with each Opaque copy
Packit Service 72eb06
a computer-network location from which the general network-using
Packit Service 72eb06
public has access to download using public-standard network protocols
Packit Service 72eb06
a complete Transparent copy of the Document, free of added material.
Packit Service 72eb06
If you use the latter option, you must take reasonably prudent steps,
Packit Service 72eb06
when you begin distribution of Opaque copies in quantity, to ensure
Packit Service 72eb06
that this Transparent copy will remain thus accessible at the stated
Packit Service 72eb06
location until at least one year after the last time you distribute an
Packit Service 72eb06
Opaque copy (directly or through your agents or retailers) of that
Packit Service 72eb06
edition to the public.
Packit Service 72eb06
Packit Service 72eb06
It is requested, but not required, that you contact the authors of the
Packit Service 72eb06
Document well before redistributing any large number of copies, to give
Packit Service 72eb06
them a chance to provide you with an updated version of the Document.
Packit Service 72eb06
Packit Service 72eb06
@item
Packit Service 72eb06
MODIFICATIONS
Packit Service 72eb06
Packit Service 72eb06
You may copy and distribute a Modified Version of the Document under
Packit Service 72eb06
the conditions of sections 2 and 3 above, provided that you release
Packit Service 72eb06
the Modified Version under precisely this License, with the Modified
Packit Service 72eb06
Version filling the role of the Document, thus licensing distribution
Packit Service 72eb06
and modification of the Modified Version to whoever possesses a copy
Packit Service 72eb06
of it.  In addition, you must do these things in the Modified Version:
Packit Service 72eb06
Packit Service 72eb06
@enumerate A
Packit Service 72eb06
@item
Packit Service 72eb06
Use in the Title Page (and on the covers, if any) a title distinct
Packit Service 72eb06
from that of the Document, and from those of previous versions
Packit Service 72eb06
(which should, if there were any, be listed in the History section
Packit Service 72eb06
of the Document).  You may use the same title as a previous version
Packit Service 72eb06
if the original publisher of that version gives permission.
Packit Service 72eb06
Packit Service 72eb06
@item
Packit Service 72eb06
List on the Title Page, as authors, one or more persons or entities
Packit Service 72eb06
responsible for authorship of the modifications in the Modified
Packit Service 72eb06
Version, together with at least five of the principal authors of the
Packit Service 72eb06
Document (all of its principal authors, if it has fewer than five),
Packit Service 72eb06
unless they release you from this requirement.
Packit Service 72eb06
Packit Service 72eb06
@item
Packit Service 72eb06
State on the Title page the name of the publisher of the
Packit Service 72eb06
Modified Version, as the publisher.
Packit Service 72eb06
Packit Service 72eb06
@item
Packit Service 72eb06
Preserve all the copyright notices of the Document.
Packit Service 72eb06
Packit Service 72eb06
@item
Packit Service 72eb06
Add an appropriate copyright notice for your modifications
Packit Service 72eb06
adjacent to the other copyright notices.
Packit Service 72eb06
Packit Service 72eb06
@item
Packit Service 72eb06
Include, immediately after the copyright notices, a license notice
Packit Service 72eb06
giving the public permission to use the Modified Version under the
Packit Service 72eb06
terms of this License, in the form shown in the Addendum below.
Packit Service 72eb06
Packit Service 72eb06
@item
Packit Service 72eb06
Preserve in that license notice the full lists of Invariant Sections
Packit Service 72eb06
and required Cover Texts given in the Document's license notice.
Packit Service 72eb06
Packit Service 72eb06
@item
Packit Service 72eb06
Include an unaltered copy of this License.
Packit Service 72eb06
Packit Service 72eb06
@item
Packit Service 72eb06
Preserve the section Entitled ``History'', Preserve its Title, and add
Packit Service 72eb06
to it an item stating at least the title, year, new authors, and
Packit Service 72eb06
publisher of the Modified Version as given on the Title Page.  If
Packit Service 72eb06
there is no section Entitled ``History'' in the Document, create one
Packit Service 72eb06
stating the title, year, authors, and publisher of the Document as
Packit Service 72eb06
given on its Title Page, then add an item describing the Modified
Packit Service 72eb06
Version as stated in the previous sentence.
Packit Service 72eb06
Packit Service 72eb06
@item
Packit Service 72eb06
Preserve the network location, if any, given in the Document for
Packit Service 72eb06
public access to a Transparent copy of the Document, and likewise
Packit Service 72eb06
the network locations given in the Document for previous versions
Packit Service 72eb06
it was based on.  These may be placed in the ``History'' section.
Packit Service 72eb06
You may omit a network location for a work that was published at
Packit Service 72eb06
least four years before the Document itself, or if the original
Packit Service 72eb06
publisher of the version it refers to gives permission.
Packit Service 72eb06
Packit Service 72eb06
@item
Packit Service 72eb06
For any section Entitled ``Acknowledgements'' or ``Dedications'', Preserve
Packit Service 72eb06
the Title of the section, and preserve in the section all the
Packit Service 72eb06
substance and tone of each of the contributor acknowledgements and/or
Packit Service 72eb06
dedications given therein.
Packit Service 72eb06
Packit Service 72eb06
@item
Packit Service 72eb06
Preserve all the Invariant Sections of the Document,
Packit Service 72eb06
unaltered in their text and in their titles.  Section numbers
Packit Service 72eb06
or the equivalent are not considered part of the section titles.
Packit Service 72eb06
Packit Service 72eb06
@item
Packit Service 72eb06
Delete any section Entitled ``Endorsements''.  Such a section
Packit Service 72eb06
may not be included in the Modified Version.
Packit Service 72eb06
Packit Service 72eb06
@item
Packit Service 72eb06
Do not retitle any existing section to be Entitled ``Endorsements'' or
Packit Service 72eb06
to conflict in title with any Invariant Section.
Packit Service 72eb06
Packit Service 72eb06
@item
Packit Service 72eb06
Preserve any Warranty Disclaimers.
Packit Service 72eb06
@end enumerate
Packit Service 72eb06
Packit Service 72eb06
If the Modified Version includes new front-matter sections or
Packit Service 72eb06
appendices that qualify as Secondary Sections and contain no material
Packit Service 72eb06
copied from the Document, you may at your option designate some or all
Packit Service 72eb06
of these sections as invariant.  To do this, add their titles to the
Packit Service 72eb06
list of Invariant Sections in the Modified Version's license notice.
Packit Service 72eb06
These titles must be distinct from any other section titles.
Packit Service 72eb06
Packit Service 72eb06
You may add a section Entitled ``Endorsements'', provided it contains
Packit Service 72eb06
nothing but endorsements of your Modified Version by various
Packit Service 72eb06
parties---for example, statements of peer review or that the text has
Packit Service 72eb06
been approved by an organization as the authoritative definition of a
Packit Service 72eb06
standard.
Packit Service 72eb06
Packit Service 72eb06
You may add a passage of up to five words as a Front-Cover Text, and a
Packit Service 72eb06
passage of up to 25 words as a Back-Cover Text, to the end of the list
Packit Service 72eb06
of Cover Texts in the Modified Version.  Only one passage of
Packit Service 72eb06
Front-Cover Text and one of Back-Cover Text may be added by (or
Packit Service 72eb06
through arrangements made by) any one entity.  If the Document already
Packit Service 72eb06
includes a cover text for the same cover, previously added by you or
Packit Service 72eb06
by arrangement made by the same entity you are acting on behalf of,
Packit Service 72eb06
you may not add another; but you may replace the old one, on explicit
Packit Service 72eb06
permission from the previous publisher that added the old one.
Packit Service 72eb06
Packit Service 72eb06
The author(s) and publisher(s) of the Document do not by this License
Packit Service 72eb06
give permission to use their names for publicity for or to assert or
Packit Service 72eb06
imply endorsement of any Modified Version.
Packit Service 72eb06
Packit Service 72eb06
@item
Packit Service 72eb06
COMBINING DOCUMENTS
Packit Service 72eb06
Packit Service 72eb06
You may combine the Document with other documents released under this
Packit Service 72eb06
License, under the terms defined in section 4 above for modified
Packit Service 72eb06
versions, provided that you include in the combination all of the
Packit Service 72eb06
Invariant Sections of all of the original documents, unmodified, and
Packit Service 72eb06
list them all as Invariant Sections of your combined work in its
Packit Service 72eb06
license notice, and that you preserve all their Warranty Disclaimers.
Packit Service 72eb06
Packit Service 72eb06
The combined work need only contain one copy of this License, and
Packit Service 72eb06
multiple identical Invariant Sections may be replaced with a single
Packit Service 72eb06
copy.  If there are multiple Invariant Sections with the same name but
Packit Service 72eb06
different contents, make the title of each such section unique by
Packit Service 72eb06
adding at the end of it, in parentheses, the name of the original
Packit Service 72eb06
author or publisher of that section if known, or else a unique number.
Packit Service 72eb06
Make the same adjustment to the section titles in the list of
Packit Service 72eb06
Invariant Sections in the license notice of the combined work.
Packit Service 72eb06
Packit Service 72eb06
In the combination, you must combine any sections Entitled ``History''
Packit Service 72eb06
in the various original documents, forming one section Entitled
Packit Service 72eb06
``History''; likewise combine any sections Entitled ``Acknowledgements'',
Packit Service 72eb06
and any sections Entitled ``Dedications''.  You must delete all
Packit Service 72eb06
sections Entitled ``Endorsements.''
Packit Service 72eb06
Packit Service 72eb06
@item
Packit Service 72eb06
COLLECTIONS OF DOCUMENTS
Packit Service 72eb06
Packit Service 72eb06
You may make a collection consisting of the Document and other documents
Packit Service 72eb06
released under this License, and replace the individual copies of this
Packit Service 72eb06
License in the various documents with a single copy that is included in
Packit Service 72eb06
the collection, provided that you follow the rules of this License for
Packit Service 72eb06
verbatim copying of each of the documents in all other respects.
Packit Service 72eb06
Packit Service 72eb06
You may extract a single document from such a collection, and distribute
Packit Service 72eb06
it individually under this License, provided you insert a copy of this
Packit Service 72eb06
License into the extracted document, and follow this License in all
Packit Service 72eb06
other respects regarding verbatim copying of that document.
Packit Service 72eb06
Packit Service 72eb06
@item
Packit Service 72eb06
AGGREGATION WITH INDEPENDENT WORKS
Packit Service 72eb06
Packit Service 72eb06
A compilation of the Document or its derivatives with other separate
Packit Service 72eb06
and independent documents or works, in or on a volume of a storage or
Packit Service 72eb06
distribution medium, is called an ``aggregate'' if the copyright
Packit Service 72eb06
resulting from the compilation is not used to limit the legal rights
Packit Service 72eb06
of the compilation's users beyond what the individual works permit.
Packit Service 72eb06
When the Document is included in an aggregate, this License does not
Packit Service 72eb06
apply to the other works in the aggregate which are not themselves
Packit Service 72eb06
derivative works of the Document.
Packit Service 72eb06
Packit Service 72eb06
If the Cover Text requirement of section 3 is applicable to these
Packit Service 72eb06
copies of the Document, then if the Document is less than one half of
Packit Service 72eb06
the entire aggregate, the Document's Cover Texts may be placed on
Packit Service 72eb06
covers that bracket the Document within the aggregate, or the
Packit Service 72eb06
electronic equivalent of covers if the Document is in electronic form.
Packit Service 72eb06
Otherwise they must appear on printed covers that bracket the whole
Packit Service 72eb06
aggregate.
Packit Service 72eb06
Packit Service 72eb06
@item
Packit Service 72eb06
TRANSLATION
Packit Service 72eb06
Packit Service 72eb06
Translation is considered a kind of modification, so you may
Packit Service 72eb06
distribute translations of the Document under the terms of section 4.
Packit Service 72eb06
Replacing Invariant Sections with translations requires special
Packit Service 72eb06
permission from their copyright holders, but you may include
Packit Service 72eb06
translations of some or all Invariant Sections in addition to the
Packit Service 72eb06
original versions of these Invariant Sections.  You may include a
Packit Service 72eb06
translation of this License, and all the license notices in the
Packit Service 72eb06
Document, and any Warranty Disclaimers, provided that you also include
Packit Service 72eb06
the original English version of this License and the original versions
Packit Service 72eb06
of those notices and disclaimers.  In case of a disagreement between
Packit Service 72eb06
the translation and the original version of this License or a notice
Packit Service 72eb06
or disclaimer, the original version will prevail.
Packit Service 72eb06
Packit Service 72eb06
If a section in the Document is Entitled ``Acknowledgements'',
Packit Service 72eb06
``Dedications'', or ``History'', the requirement (section 4) to Preserve
Packit Service 72eb06
its Title (section 1) will typically require changing the actual
Packit Service 72eb06
title.
Packit Service 72eb06
Packit Service 72eb06
@item
Packit Service 72eb06
TERMINATION
Packit Service 72eb06
Packit Service 72eb06
You may not copy, modify, sublicense, or distribute the Document
Packit Service 72eb06
except as expressly provided under this License.  Any attempt
Packit Service 72eb06
otherwise to copy, modify, sublicense, or distribute it is void, and
Packit Service 72eb06
will automatically terminate your rights under this License.
Packit Service 72eb06
Packit Service 72eb06
However, if you cease all violation of this License, then your license
Packit Service 72eb06
from a particular copyright holder is reinstated (a) provisionally,
Packit Service 72eb06
unless and until the copyright holder explicitly and finally
Packit Service 72eb06
terminates your license, and (b) permanently, if the copyright holder
Packit Service 72eb06
fails to notify you of the violation by some reasonable means prior to
Packit Service 72eb06
60 days after the cessation.
Packit Service 72eb06
Packit Service 72eb06
Moreover, your license from a particular copyright holder is
Packit Service 72eb06
reinstated permanently if the copyright holder notifies you of the
Packit Service 72eb06
violation by some reasonable means, this is the first time you have
Packit Service 72eb06
received notice of violation of this License (for any work) from that
Packit Service 72eb06
copyright holder, and you cure the violation prior to 30 days after
Packit Service 72eb06
your receipt of the notice.
Packit Service 72eb06
Packit Service 72eb06
Termination of your rights under this section does not terminate the
Packit Service 72eb06
licenses of parties who have received copies or rights from you under
Packit Service 72eb06
this License.  If your rights have been terminated and not permanently
Packit Service 72eb06
reinstated, receipt of a copy of some or all of the same material does
Packit Service 72eb06
not give you any rights to use it.
Packit Service 72eb06
Packit Service 72eb06
@item
Packit Service 72eb06
FUTURE REVISIONS OF THIS LICENSE
Packit Service 72eb06
Packit Service 72eb06
The Free Software Foundation may publish new, revised versions
Packit Service 72eb06
of the GNU Free Documentation License from time to time.  Such new
Packit Service 72eb06
versions will be similar in spirit to the present version, but may
Packit Service 72eb06
differ in detail to address new problems or concerns.  See
Packit Service 72eb06
@uref{http://www.gnu.org/copyleft/}.
Packit Service 72eb06
Packit Service 72eb06
Each version of the License is given a distinguishing version number.
Packit Service 72eb06
If the Document specifies that a particular numbered version of this
Packit Service 72eb06
License ``or any later version'' applies to it, you have the option of
Packit Service 72eb06
following the terms and conditions either of that specified version or
Packit Service 72eb06
of any later version that has been published (not as a draft) by the
Packit Service 72eb06
Free Software Foundation.  If the Document does not specify a version
Packit Service 72eb06
number of this License, you may choose any version ever published (not
Packit Service 72eb06
as a draft) by the Free Software Foundation.  If the Document
Packit Service 72eb06
specifies that a proxy can decide which future versions of this
Packit Service 72eb06
License can be used, that proxy's public statement of acceptance of a
Packit Service 72eb06
version permanently authorizes you to choose that version for the
Packit Service 72eb06
Document.
Packit Service 72eb06
Packit Service 72eb06
@item
Packit Service 72eb06
RELICENSING
Packit Service 72eb06
Packit Service 72eb06
``Massive Multiauthor Collaboration Site'' (or ``MMC Site'') means any
Packit Service 72eb06
World Wide Web server that publishes copyrightable works and also
Packit Service 72eb06
provides prominent facilities for anybody to edit those works.  A
Packit Service 72eb06
public wiki that anybody can edit is an example of such a server.  A
Packit Service 72eb06
``Massive Multiauthor Collaboration'' (or ``MMC'') contained in the
Packit Service 72eb06
site means any set of copyrightable works thus published on the MMC
Packit Service 72eb06
site.
Packit Service 72eb06
Packit Service 72eb06
``CC-BY-SA'' means the Creative Commons Attribution-Share Alike 3.0
Packit Service 72eb06
license published by Creative Commons Corporation, a not-for-profit
Packit Service 72eb06
corporation with a principal place of business in San Francisco,
Packit Service 72eb06
California, as well as future copyleft versions of that license
Packit Service 72eb06
published by that same organization.
Packit Service 72eb06
Packit Service 72eb06
``Incorporate'' means to publish or republish a Document, in whole or
Packit Service 72eb06
in part, as part of another Document.
Packit Service 72eb06
Packit Service 72eb06
An MMC is ``eligible for relicensing'' if it is licensed under this
Packit Service 72eb06
License, and if all works that were first published under this License
Packit Service 72eb06
somewhere other than this MMC, and subsequently incorporated in whole
Packit Service 72eb06
or in part into the MMC, (1) had no cover texts or invariant sections,
Packit Service 72eb06
and (2) were thus incorporated prior to November 1, 2008.
Packit Service 72eb06
Packit Service 72eb06
The operator of an MMC Site may republish an MMC contained in the site
Packit Service 72eb06
under CC-BY-SA on the same site at any time before August 1, 2009,
Packit Service 72eb06
provided the MMC is eligible for relicensing.
Packit Service 72eb06
Packit Service 72eb06
@end enumerate
Packit Service 72eb06
Packit Service 72eb06
@page
Packit Service 72eb06
@heading ADDENDUM: How to use this License for your documents
Packit Service 72eb06
Packit Service 72eb06
To use this License in a document you have written, include a copy of
Packit Service 72eb06
the License in the document and put the following copyright and
Packit Service 72eb06
license notices just after the title page:
Packit Service 72eb06
Packit Service 72eb06
@smallexample
Packit Service 72eb06
@group
Packit Service 72eb06
  Copyright (C)  @var{year}  @var{your name}.
Packit Service 72eb06
  Permission is granted to copy, distribute and/or modify this document
Packit Service 72eb06
  under the terms of the GNU Free Documentation License, Version 1.3
Packit Service 72eb06
  or any later version published by the Free Software Foundation;
Packit Service 72eb06
  with no Invariant Sections, no Front-Cover Texts, and no Back-Cover
Packit Service 72eb06
  Texts.  A copy of the license is included in the section entitled ``GNU
Packit Service 72eb06
  Free Documentation License''.
Packit Service 72eb06
@end group
Packit Service 72eb06
@end smallexample
Packit Service 72eb06
Packit Service 72eb06
If you have Invariant Sections, Front-Cover Texts and Back-Cover Texts,
Packit Service 72eb06
replace the ``with@dots{}Texts.'' line with this:
Packit Service 72eb06
Packit Service 72eb06
@smallexample
Packit Service 72eb06
@group
Packit Service 72eb06
    with the Invariant Sections being @var{list their titles}, with
Packit Service 72eb06
    the Front-Cover Texts being @var{list}, and with the Back-Cover Texts
Packit Service 72eb06
    being @var{list}.
Packit Service 72eb06
@end group
Packit Service 72eb06
@end smallexample
Packit Service 72eb06
Packit Service 72eb06
If you have Invariant Sections without Cover Texts, or some other
Packit Service 72eb06
combination of the three, merge those two alternatives to suit the
Packit Service 72eb06
situation.
Packit Service 72eb06
Packit Service 72eb06
If your document contains nontrivial examples of program code, we
Packit Service 72eb06
recommend releasing these examples in parallel under your choice of
Packit Service 72eb06
free software license, such as the GNU General Public License,
Packit Service 72eb06
to permit their use in free software.
Packit Service 72eb06
Packit Service 72eb06
@c Local Variables:
Packit Service 72eb06
@c ispell-local-pdict: "ispell-dict"
Packit Service 72eb06
@c End:
Packit Service 72eb06