Lines Matching full:nodename
6033 % This macro is called from \xrefX for the `[nodename]' part of xref
