>> > The --internal-links=file.txt should do what you want to, I
>> > believe, it is only available for HTML. Or you can set the
>> > INTERNAL_LINKS customization variable.
>>
>> Thanks, but this isn't what I need, since (a) it adds the section
>> number to the argument of `@node`,
>
> I think that this depends on USE_NODES.
Interesting, thanks.
>> and (b) the dump doesn't contain any targets from `@anchor`. While
>> (a) could be taken care of, (b) is a show stopper.
>
> Looks like a bug to me. I think that the nodes/anchor/float targets
> should be there. (Also probably the @*heading command targets, the
> footnotes, but it is less important).
OK. For the time being, I will use the
`texinfo_register_file_id_setting_function` hooks 'node_file_name' and
'label_target_name' to emit the IDs.
Werner
