On 2013-01-25 18:26, Andrei Alexandrescu wrote: > I'm using \href for the anchors and \label for the targets. What are you using? \href{url}{text} is for URLs, \hyperref[labelname]{text} is for labels.