pdftex reference bug in texinfo.tex [fix included]

[Herbert Valerio Riedel]

hello,

this bug has annoyed me for quite some months now... so much that I
even dared to try to fix it ;-)

well, the problem (for me at least), was that pdf rendered manuals had
broken hyperef (?) links (menu, index, xrefs -- nothing except urls
worked), which always lead to the title page...

anyway, by playing around an hour, the following diff solved the
problem for me...  I must admit that I didn't try to understand how
texinfo.tex transforms the texinfo markup into TeX markup, so my
bugfix may not be the right solution; 

please let me know whether this was actually a bug, or if it's just my
environment which shows it... :-)

--- texinfo.tex~        Tue Jul 31 17:50:23 2001
+++ texinfo.tex Tue Jul 31 17:53:03 2001
@@ -3,7 +3,7 @@
 % Load plain if necessary, i.e., if running under initex.
 \expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi
 %
-\def\texinfoversion{2001-07-25.07}
+\def\texinfoversion{2001-07-31.17}
 %
 % Copyright (C) 1985, 86, 88, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99,
 %               2000, 01 Free Software Foundation, Inc.
@@ -942,7 +942,7 @@
     \ifnum\pdftexversion < 14 \else
       \pdfrefximage \pdflastximage
     \fi}
-  \def\pdfmkdest#1{{\normalturnoffactive \pdfdest name{#1} xyz}}
+  \def\pdfmkdest#1{{\normalturnoffactive \pdfdest address@hidden xyz}}
   address@hidden
   \let\linkcolor = \Blue  % was Cyan, but that seems light?
   \def\endlink{\Black\pdfendlink}
@@ -5532,10 +5532,10 @@
     {\normalturnoffactive
      \ifnum\filenamelength>0
        \startlink attr{/Border [0 0 0]}%
-         goto file{\the\filename.pdf} name{#1}%
+         goto file{\the\filename.pdf} address@hidden
      \else
        \startlink attr{/Border [0 0 0]}%
-         goto name{#1}%
+         goto address@hidden
      \fi
     }%
     \linkcolor


-- 
Herbert Valerio Riedel       /    Phone: (EUROPE) +43-1-58801-18840
Email: address@hidden          /    Finger address@hidden for GnuPG Public Key
GnuPG Key Fingerprint: 7BB9 2D6C D485 CE64 4748  5F65 4981 E064 883F 4142