[gnunet-scheme] 228/324: doc/fdl: Correct ‘quote’ typography.

[gnunet]

This is an automated email from the git hooks/post-receive script.

maxime-devos pushed a commit to branch master
in repository gnunet-scheme.

commit 85008407c328b7c8d3bc00b17ccbbf43eb60fa68
Author: Maxime Devos <maximedevos@telenet.be>
AuthorDate: Thu Sep 2 21:24:51 2021 +0200

    doc/fdl: Correct ‘quote’ typography.
    
    * doc/fdl.tm: Use the double curly quotes instead of two separete
      vertical quotes and quasiquotes.
---
 doc/fdl.tm | 100 ++++++++++++++++++++++++++++++-------------------------------
 1 file changed, 50 insertions(+), 50 deletions(-)

diff --git a/doc/fdl.tm b/doc/fdl.tm
index d2f7cfb..c904cc2 100644
--- a/doc/fdl.tm
+++ b/doc/fdl.tm
@@ -1,4 +1,4 @@
-<TeXmacs|1.99.16>
+<TeXmacs|2.1>
 
 <style|generic>
 
@@ -14,17 +14,17 @@
   <section*|<label|fdlsection0>0. <with|font-shape|small-caps|Preamble>>
 
   The purpose of this License is to make a manual, textbook, or other
-  functional and useful document ``free'' in the sense of freedom: to assure
+  functional and useful document \Pfree\Q in the sense of freedom: to assure
   everyone the effective freedom to copy and redistribute it, with or without
   modifying it, either commercially or noncommercially. Secondarily, this
   License preserves for the author and publisher a way to get credit for
   their work, while not being considered responsible for modifications made
   by others.
 
-  This License is a kind of ``copyleft", which means that derivative works of
-  the document must themselves be free in the same sense. It complements the
-  GNU General Public License, which is a copyleft license designed for free
-  software.
+  This License is a kind of \Pcopyleft\Q, which means that derivative works
+  of the document must themselves be free in the same sense. It complements
+  the GNU General Public License, which is a copyleft license designed for
+  free software.
 
   We have designed this License in order to use it for manuals for free
   software, because free software needs free documentation: a free program
@@ -41,16 +41,16 @@
   contains a notice placed by the copyright holder saying it can be
   distributed under the terms of this License. Such a notice grants a
   world-wide, royalty-free license, unlimited in duration, to use that work
-  under the conditions stated herein. The ``Document", below, refers to any
+  under the conditions stated herein. The \PDocument\Q, below, refers to any
   such manual or work. Any member of the public is a licensee, and is
-  addressed as ``you". You accept the license if you copy, modify or
+  addressed as \Pyou\Q. You accept the license if you copy, modify or
   distribute the work in a way requiring permission under copyright law.
 
-  A ``Modified Version'' of the Document means any work containing the
+  A \PModified Version\Q of the Document means any work containing the
   Document or a portion of it, either copied verbatim, or with modifications
   and/or translated into another language.
 
-  A ``Secondary Section'' is a named appendix or a front-matter section of
+  A \PSecondary Section\Q is a named appendix or a front-matter section of
   the Document that deals exclusively with the relationship of the publishers
   or authors of the Document to the Document's overall subject (or to related
   matters) and contains nothing that could fall directly within that overall
@@ -60,19 +60,19 @@
   matters, or of legal, commercial, philosophical, ethical or political
   position regarding them.
 
-  The ``Invariant Sections'' are certain Secondary Sections whose titles are
+  The \PInvariant Sections\Q are certain Secondary Sections whose titles are
   designated, as being those of Invariant Sections, in the notice that says
   that the Document is released under this License. If a section does not fit
   the above definition of Secondary then it is not allowed to be designated
   as Invariant. The Document may contain zero Invariant Sections. If the
   Document does not identify any Invariant Sections then there are none.
 
-  The ``Cover Texts'' are certain short passages of text that are listed, as
+  The \PCover Texts\Q are certain short passages of text that are listed, as
   Front-Cover Texts or Back-Cover Texts, in the notice that says that the
   Document is released under this License. A Front-Cover Text may be at most
   5 words, and a Back-Cover Text may be at most 25 words.
 
-  A ``Transparent'' copy of the Document means a machine-readable copy,
+  A \PTransparent\Q copy of the Document means a machine-readable copy,
   represented in a format whose specification is available to the general
   public, that is suitable for revising the document straightforwardly with
   generic text editors or (for images composed of pixels) generic paint
@@ -82,8 +82,8 @@
   otherwise Transparent file format whose markup, or absence of markup, has
   been arranged to thwart or discourage subsequent modification by readers is
   not Transparent. An image format is not Transparent if used for any
-  substantial amount of text. A copy that is not ``Transparent'' is called
-  ``Opaque".
+  substantial amount of text. A copy that is not \PTransparent\Q is called
+  \POpaque\Q.
 
   Examples of suitable formats for Transparent copies include plain ASCII
   without markup, Texinfo input format, LaTeX input format, SGML or XML using
@@ -95,23 +95,23 @@
   available, and the machine-generated HTML, PostScript or PDF produced by
   some word processors for output purposes only.
 
-  The ``Title Page'' means, for a printed book, the title page itself, plus
+  The \PTitle Page\Q means, for a printed book, the title page itself, plus
   such following pages as are needed to hold, legibly, the material this
   License requires to appear in the title page. For works in formats which do
-  not have any title page as such, ``Title Page'' means the text near the
+  not have any title page as such, \PTitle Page\Q means the text near the
   most prominent appearance of the work's title, preceding the beginning of
   the body of the text.
 
-  The ``publisher'' means any person or entity that distributes copies of the
+  The \Ppublisher\Q means any person or entity that distributes copies of the
   Document to the public.
 
-  A section ``Entitled XYZ'' means a named subunit of the Document whose
+  A section \PEntitled XYZ\Q means a named subunit of the Document whose
   title either is precisely XYZ or contains XYZ in parentheses following text
   that translates XYZ in another language. (Here XYZ stands for a specific
-  section name mentioned below, such as ``Acknowledgements", ``Dedications",
-  ``Endorsements", or ``History".) To ``Preserve the Title'' of such a
-  section when you modify the Document means that it remains a section
-  ``Entitled XYZ'' according to this definition.
+  section name mentioned below, such as\P`Acknowledgements\Q,
+  \PDedications\Q, \PEndorsements\Q, or \PHistory\Q.) To \PPreserve the
+  Title\Q of such a section when you modify the Document means that it
+  remains a section \PEntitled XYZ\Q according to this definition.
 
   The Document may include Warranty Disclaimers next to the notice which
   states that this License applies to the Document. These Warranty
@@ -210,10 +210,10 @@
 
     <item>Include an unaltered copy of this License.
 
-    <item>Preserve the section Entitled ``History", Preserve its Title, and
+    <item>Preserve the section Entitled \PHistory\Q, Preserve its Title, and
     add to it an item stating at least the title, year, new authors, and
     publisher of the Modified Version as given on the Title Page. If there is
-    no section Entitled ``History'' in the Document, create one stating the
+    no section Entitled \PHistory\Q in the Document, create one stating the
     title, year, authors, and publisher of the Document as given on its Title
     Page, then add an item describing the Modified Version as stated in the
     previous sentence.
@@ -221,12 +221,12 @@
     <item>Preserve the network location, if any, given in the Document for
     public access to a Transparent copy of the Document, and likewise the
     network locations given in the Document for previous versions it was
-    based on. These may be placed in the ``History'' section. You may omit a
+    based on. These may be placed in the \PHistory\Q section. You may omit a
     network location for a work that was published at least four years before
     the Document itself, or if the original publisher of the version it
     refers to gives permission.
 
-    <item>For any section Entitled ``Acknowledgements'' or ``Dedications",
+    <item>For any section Entitled \PAcknowledgements\Q or \PDedications\Q,
     Preserve the Title of the section, and preserve in the section all the
     substance and tone of each of the contributor acknowledgements and/or
     dedications given therein.
@@ -235,10 +235,10 @@
     their text and in their titles. Section numbers or the equivalent are not
     considered part of the section titles.
 
-    <item>Delete any section Entitled ``Endorsements". Such a section may not
-    be included in the Modified Version.
+    <item>Delete any section Entitled \PEndorsements\Q. Such a section may
+    not be included in the Modified Version.
 
-    <item>Do not retitle any existing section to be Entitled ``Endorsements''
+    <item>Do not retitle any existing section to be Entitled \PEndorsements\Q
     or to conflict in title with any Invariant Section.
 
     <item>Preserve any Warranty Disclaimers.
@@ -251,7 +251,7 @@
   in the Modified Version's license notice. These titles must be distinct
   from any other section titles.
 
-  You may add a section Entitled ``Endorsements", provided it contains
+  You may add a section Entitled \PEndorsements\Q, provided it contains
   nothing but endorsements of your Modified Version by various parties\Vfor
   example, statements of peer review or that the text has been approved by an
   organization as the authoritative definition of a standard.
@@ -289,11 +289,11 @@
   titles in the list of Invariant Sections in the license notice of the
   combined work.
 
-  In the combination, you must combine any sections Entitled ``History'' in
-  the various original documents, forming one section Entitled ``History";
-  likewise combine any sections Entitled ``Acknowledgements", and any
-  sections Entitled ``Dedications". You must delete all sections Entitled
-  ``Endorsements".
+  In the combination, you must combine any sections Entitled \PHistory\Q in
+  the various original documents, forming one section Entitled \PHistory\Q;
+  likewise combine any sections Entitled \PAcknowledgement\Q, and any
+  sections Entitled \PDedications\Q. You must delete all sections Entitled
+  \PEndorsement\Q.
 
   <section*|<label|fdlsection6>6. <with|font-shape|small-caps|Collections of
   documents>>
@@ -314,7 +314,7 @@
 
   A compilation of the Document or its derivatives with other separate and
   independent documents or works, in or on a volume of a storage or
-  distribution medium, is called an ``aggregate'' if the copyright resulting
+  distribution medium, is called an \Paggregate\Q if the copyright resulting
   from the compilation is not used to limit the legal rights of the
   compilation's users beyond what the individual works permit. When the
   Document is included in an aggregate, this License does not apply to the
@@ -342,9 +342,9 @@
   disagreement between the translation and the original version of this
   License or a notice or disclaimer, the original version will prevail.
 
-  If a section in the Document is Entitled ``Acknowledgements",
-  ``Dedications", or ``History", the requirement (section 4) to Preserve its
-  Title (section 1) will typically require changing the actual title.
+  If a section in the Document is Entitled \PAcknowledgements\Q,
+  \PDedications\Q, or \PHistory\Q, the requirement (section 4) to Preserve
+  its Title (section 1) will typically require changing the actual title.
 
   <section*|<label|fdlsection9>9. <with|font-shape|small-caps|Termination>>
 
@@ -381,7 +381,7 @@
 
   Each version of the License is given a distinguishing version number. If
   the Document specifies that a particular numbered version of this License
-  ``or any later version'' applies to it, you have the option of following
+  \Por any later version\Q applies to it, you have the option of following
   the terms and conditions either of that specified version or of any later
   version that has been published (not as a draft) by the Free Software
   Foundation. If the Document does not specify a version number of this
@@ -393,23 +393,23 @@
 
   <section*|<label|fdlsection11>11. <with|font-shape|small-caps|Relicensing>>
 
-  "Massive Multiauthor Collaboration Site'' (or ``MMC Site") means any World
-  Wide Web server that publishes copyrightable works and also provides
+  \PMassive Multiauthor Collaboration Site\Q (or \PMMC Site\Q) means any
+  World Wide Web server that publishes copyrightable works and also provides
   prominent facilities for anybody to edit those works. A public wiki that
-  anybody can edit is an example of such a server. A ``Massive Multiauthor
-  Collaboration'' (or ``MMC") contained in the site means any set of
+  anybody can edit is an example of such a server. A \PMassive Multiauthor
+  Collaboration\Q (or \PMMC\Q) contained in the site means any set of
   copyrightable works thus published on the MMC site.
 
-  "CC-BY-SA'' means the Creative Commons Attribution-Share Alike 3.0 license
+  \PCC-BY-SA\Q means the Creative Commons Attribution-Share Alike 3.0 license
   published by Creative Commons Corporation, a not-for-profit corporation
   with a principal place of business in San Francisco, California, as well as
   future copyleft versions of that license published by that same
   organization.
 
-  "Incorporate'' means to publish or republish a Document, in whole or in
+  \PIncorporate\Q means to publish or republish a Document, in whole or in
   part, as part of another Document.
 
-  An MMC is ``eligible for relicensing'' if it is licensed under this
+  An MMC is \Peligible for relicensing'' if it is licensed under this
   License, and if all works that were first published under this License
   somewhere other than this MMC, and subsequently incorporated in whole or in
   part into the MMC, (1) had no cover texts or invariant sections, and (2)
@@ -446,7 +446,7 @@
   </code>
 
   If you have Invariant Sections, Front-Cover Texts and Back-Cover Texts,
-  replace the ``with \<ldots\> Texts.'' line with this:
+  replace the \Pwith \<ldots\> Texts.\Q line with this:
 
   <\code>
     \ \ \ \ with the Invariant Sections being LIST THEIR TITLES, with the
@@ -470,4 +470,4 @@
     <associate|preamble|false>
     <associate|save-aux|false>
   </collection>
-</initial>
+</initial>
\ No newline at end of file

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.