@insertcopying: Include Permissions Text ¶The @insertcopying command is simply written on a line by
itself, like this:
@insertcopying
This inserts the text previously defined by @copying. To meet
legal requirements, it must be used on the copyright page in the printed
manual (see Copyright Page).
The @copying command itself causes the permissions text to
appear in an Info file before 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 not see this text (except when using the advanced Info
command g *). This does not matter for legal purposes,
because the text is present. But to get a visible text in the output,
@insertcopying should be used.
Similarly, the @copying text is automatically included at the
beginning of each HTML output file, as an HTML comment. Again, this
text is not visible without @insertcopying (unless the reader views the
HTML source).
The permissions text defined by @copying also appears
automatically at the beginning of the DocBook output files
using appropriate markup. @insertcopying can be used
to output the permission text within normal text.