/usr/share/doc/texinfo/html/insertcopying.html is in texinfo-doc-nonfree 4.13a-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 | <html lang="en">
<head>
<title>insertcopying - GNU Texinfo 4.13</title>
<meta http-equiv="Content-Type" content="text/html">
<meta name="description" content="GNU Texinfo 4.13">
<meta name="generator" content="makeinfo 4.13">
<link title="Top" rel="start" href="index.html#Top">
<link rel="up" href="Document-Permissions.html#Document-Permissions" title="Document Permissions">
<link rel="prev" href="copying.html#copying" title="copying">
<link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
<!--
This manual is for GNU Texinfo (version 4.13, 18 September 2008),
a documentation system that can produce both online information and a
printed manual from a single source.
Copyright (C) 1988, 1990, 1991, 1992, 1993, 1995, 1996, 1997,
1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008
Free Software Foundation, Inc.
Permission is granted to copy, distribute and/or modify this
document under the terms of the GNU Free Documentation License,
Version 1.2 or any later version published by the Free Software
Foundation; with no Invariant Sections, with the Front-Cover Texts
being ``A GNU Manual'', and with the Back-Cover Texts as in (a)
below. A copy of the license is included in the section entitled
``GNU Free Documentation License.''
(a) The FSF's Back-Cover Text is: ``You are free to copy and modify
this GNU Manual. Buying copies from GNU Press supports the FSF in
developing GNU and promoting software freedom.''
-->
<meta http-equiv="Content-Style-Type" content="text/css">
<style type="text/css"><!--
pre.display { font-family:inherit }
pre.format { font-family:inherit }
pre.smalldisplay { font-family:inherit; font-size:smaller }
pre.smallformat { font-family:inherit; font-size:smaller }
pre.smallexample { font-size:smaller }
pre.smalllisp { font-size:smaller }
span.sc { font-variant:small-caps }
span.roman { font-family:serif; font-weight:normal; }
span.sansserif { font-family:sans-serif; font-weight:normal; }
--></style>
</head>
<body>
<div class="node">
<a name="insertcopying"></a>
<p>
Previous: <a rel="previous" accesskey="p" href="copying.html#copying">copying</a>,
Up: <a rel="up" accesskey="u" href="Document-Permissions.html#Document-Permissions">Document Permissions</a>
<hr>
</div>
<h4 class="subsection">3.3.2 <code>@insertcopying</code>: Include Permissions Text</h4>
<p><a name="index-insertcopying-185"></a><a name="index-Copying-text_002c-including-186"></a><a name="index-Permissions-text_002c-including-187"></a><a name="index-Including-permissions-text-188"></a>
The <code>@insertcopying</code> command is simply written on a line by
itself, like this:
<pre class="example"> @insertcopying
</pre>
<p>This inserts the text previously defined by <code>@copying</code>. To meet
legal requirements, it must be used on the copyright page in the printed
manual (see <a href="Copyright.html#Copyright">Copyright</a>).
<p>The <code>@copying</code> command itself causes the permissions text to
appear in an Info file <em>before</em> the first node. The text is also
copied into the beginning of each split Info output file, as is legally
necessary. This location implies a human reading the manual using Info
does <em>not</em> see this text (except when using the advanced Info
command <kbd>g *</kbd>), but this does not matter for legal purposes,
because the text is present.
<p>Similarly, the <code>@copying</code> text is automatically included at the
beginning of each HTML output file, as an HTML comment. Again, this
text is not visible (unless the reader views the HTML source).
<p>The permissions text defined by <code>@copying</code> also appears
automatically at the beginning of the XML output file.
</body></html>
|