Am 02.07.2014 17:44, schrieb Allin Cottrell:
On Wed, 2 Jul 2014, Sven Schreiber wrote:
>
> Am I missing a TeX package? This part of the manual doesn't look so new,
> and otherwise somebody else would have noticed the error, right?
It doesn't sound like a missing package -- maybe a version difference? No
error is flagged here with pdfTeX 3.1415926-2.5-1.40.14 and hyperref
2012/11/06 v6.83m.
A fresh checkout solved the problem. Actually I remembered that the
workcopy on that system was the one where I probably played around with
the realtime manual additions, and that hadn't been touched in quite a
while.
thanks,
sven