Links are broken in PDF

[Roman Belenov]

Latest version of texinfo.tex from ftp.gnu.org/gnu breaks links in PDF
files generated by pdfTeX. Here is a fix

--- texinfo.tex.old     Wed Jul 25 22:46:12 2001
+++ texinfo.tex Wed Oct 24 11:51:31 2001
@@ -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


-- 
                                                        With regards, Roman.