On Tue, Oct 19, 2021 at 03:35:23PM +0200, Benno Schulenberg wrote:
>
> Hi,
>
> When an @pxref{} command has a second argument, the subsequent text is
> arranged as if the text of the first argument were *also* there.
The text of the first argument *is* there:
> The '@copying' command should be given very early in the document; the
> recommended location is right after the header material (*note Header:
> Texinfo File Header.). It conventionally consists of a sentence or two
> about what the program is, identification of the documentation itself,
> the legal copyright line, and the copying permissions. Here is a
> skeletal example:
The name of the node has to be present in the output to state the target
of the cross-reference. It is just hidden with hide-note-references=On
but no attempt is made to refill the paragraph when this happens.
