| commit | b3fcf659914767aa0bddc1132c450eb4b74a7243 | [log] [tgz] |
|---|---|---|
| author | Jan Beulich <jbeulich@suse.com> | Tue May 21 13:42:25 2024 +0200 |
| committer | Jan Beulich <jbeulich@suse.com> | Tue May 21 13:42:25 2024 +0200 |
| tree | b6139a7a8f0ea22d3913907086ee786fe01e0b01 | |
| parent | 6f0fe858b88e1a593ab21cb4b6316abf2a8039d8 [diff] |
ld: silence makeinfo warnings
Older tool versions (4.12 in my case) demand . or , after @xref{};
arrange for this to be the case.