Blame doc/fdl.texi

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