Home | History | Annotate | Download | only in texinfo

Lines Matching refs:destinations

1529       % We use the node names as the destinations.
5699   % two pages of the document.  Thus, we'd have two destinations named