[7149] Fix XeTeX PDF link page number duplicates

[trueroad]

Revision: 7149
          http://svn.sv.gnu.org/viewvc/?view=rev&root=texinfo&revision=7149
Author:   trueroad
Date:     2016-05-07 13:37:27 +0000 (Sat, 07 May 2016)
Log Message:
-----------
Fix XeTeX PDF link page number duplicates

Modified Paths:
--------------
    trunk/ChangeLog
    trunk/doc/texinfo.tex

Modified: trunk/ChangeLog
===================================================================
--- trunk/ChangeLog     2016-05-06 15:23:17 UTC (rev 7148)
+++ trunk/ChangeLog     2016-05-07 13:37:27 UTC (rev 7149)
@@ -1,3 +1,9 @@
+2016-05-07  Masamichi Hosoda  <address@hidden>
+
+       * doc/texinfo-ja.tex (\writetocentry):
+       Fix XeTeX PDF link page number duplicates.
+       For XeTeX, change \pdfmakepagedesttrue timing to after TOC writing.
+
 2016-05-06  Masamichi Hosoda  <address@hidden>
 
        * doc/texinfo-ja.tex: New File.

Modified: trunk/doc/texinfo.tex
===================================================================
--- trunk/doc/texinfo.tex       2016-05-06 15:23:17 UTC (rev 7148)
+++ trunk/doc/texinfo.tex       2016-05-07 13:37:27 UTC (rev 7149)
@@ -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{2016-04-14.07}
+\def\texinfoversion{2016-05-07.13}
 %
 % Copyright 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995,
 % 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006,
@@ -1534,7 +1534,6 @@
   %
   % PDF outline support
   %
-  \pdfmakepagedesttrue \relax
   % Emulate the primitive of pdfTeX
   \def\pdfdest name#1 xyz{%
     \special{pdf:dest (name#1) address@hidden /XYZ @xpos @ypos]}%
@@ -6682,7 +6681,14 @@
   % 1 and 2 (the page numbers aren't printed), and so are the first
   % two pages of the document.  Thus, we'd have two destinations named
   % `1', and two named `2'.
-  \ifpdf \global\pdfmakepagedesttrue \fi
+  \ifpdf
+    \global\pdfmakepagedesttrue
+  \else
+    \ifx\XeTeXrevision\thisisundefined
+    \else
+      \global\pdfmakepagedesttrue
+    \fi
+  \fi
 }