[7271] Fix XeTeX PDF destination

[trueroad]

Revision: 7271
          http://svn.sv.gnu.org/viewvc/?view=rev&root=texinfo&revision=7271
Author:   trueroad
Date:     2016-07-20 13:49:18 +0000 (Wed, 20 Jul 2016)
Log Message:
-----------
Fix XeTeX PDF destination

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

Modified: trunk/ChangeLog
===================================================================
--- trunk/ChangeLog     2016-07-18 22:07:19 UTC (rev 7270)
+++ trunk/ChangeLog     2016-07-20 13:49:18 UTC (rev 7271)
@@ -1,3 +1,8 @@
+2016-07-20  Masamichi Hosoda  <address@hidden>
+
+       * doc/texinfo.tex (\pdfdest):
+       Fix XeTeX PDF destination.
+
 2016-07-18  Gavin Smith  <address@hidden>
 
        * tp/Texinfo/Parser.pm (_parse_texi) <misc commands>: Add 

Modified: trunk/doc/texinfo.tex
===================================================================
--- trunk/doc/texinfo.tex       2016-07-18 22:07:19 UTC (rev 7270)
+++ trunk/doc/texinfo.tex       2016-07-20 13:49:18 UTC (rev 7271)
@@ -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-07-16.19}
+\def\texinfoversion{2016-07-20.13}
 %
 % Copyright 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995,
 % 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006,
@@ -1556,7 +1556,7 @@
   %
   % Emulate the primitive of pdfTeX
   \def\pdfdest name#1 xyz{%
-    \special{pdf:dest (name#1) address@hidden /XYZ @xpos @ypos]}%
+    \special{pdf:dest (name#1) address@hidden /XYZ @xpos @ypos null]}%
   }
   \def\pdfmkdest#1{{%
     % We have to set dummies so commands such as @code, and characters