[6684] fix @documentencoding

[Gavin D. Smith]

Revision: 6684
          http://svn.sv.gnu.org/viewvc/?view=rev&root=texinfo&revision=6684
Author:   gavin
Date:     2015-10-09 15:32:05 +0000 (Fri, 09 Oct 2015)
Log Message:
-----------
fix @documentencoding

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

Modified: trunk/ChangeLog
===================================================================
--- trunk/ChangeLog     2015-10-08 19:39:57 UTC (rev 6683)
+++ trunk/ChangeLog     2015-10-09 15:32:05 UTC (rev 6684)
@@ -1,3 +1,10 @@
+2015-10-09  Gavin Smith  <address@hidden>
+
+       * doc/texinfo.tex (\documentencoding): Read argument with 
+       altered catcodes.  This has been broken since 2015-09-03 when
+       the catcode of - was changed.
+       (\parseargdef): Comment changed.
+
 2015-10-08  Gavin Smith  <address@hidden>
 
        * tp/tests/Makefile.am: Remove a commented-outline, and move a 

Modified: trunk/doc/texinfo.tex
===================================================================
--- trunk/doc/texinfo.tex       2015-10-08 19:39:57 UTC (rev 6683)
+++ trunk/doc/texinfo.tex       2015-10-09 15:32:05 UTC (rev 6684)
@@ -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{2015-10-06.21}
+\def\texinfoversion{2015-10-09.17}
 %
 % Copyright 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995,
 % 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006,
@@ -530,14 +530,13 @@
 %
 \def\finishparsearg#1 \ArgTerm{\expandafter\argtorun\expandafter{#1}}
 
+
+% \parseargdef - define a command taking an argument on the line
+%
 % \parseargdef\foo{...}
 %      is roughly equivalent to
 % \def\foo{\parsearg\Xfoo}
 % \def\Xfoo#1{...}
-%
-% Actually, I use \csname\string\foo\endcsname, ie. \\foo, as it is my
-% favourite TeX trick.  --kasal, 16nov03
-
 \def\parseargdef#1{%
   \expandafter \doparseargdef \csname\string#1\endcsname #1%
 }
@@ -9349,7 +9348,8 @@
 % @documentencoding sets the definition of non-ASCII characters
 % according to the specified encoding.
 %
-\parseargdef\documentencoding{%
+\def\documentencoding{\parseargusing\filenamecatcodes\documentencodingzzz}
+\def\documentencodingzzz#1{%
   % Encoding being declared for the document.
   \def\declaredencoding{\csname #1.enc\endcsname}%
   %