[6688] @setfilename not required

[Gavin D. Smith]

Revision: 6688
          http://svn.sv.gnu.org/viewvc/?view=rev&root=texinfo&revision=6688
Author:   gavin
Date:     2015-10-12 21:02:23 +0000 (Mon, 12 Oct 2015)
Log Message:
-----------
@setfilename not required

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

Modified: trunk/ChangeLog
===================================================================
--- trunk/ChangeLog     2015-10-09 16:47:13 UTC (rev 6687)
+++ trunk/ChangeLog     2015-10-12 21:02:23 UTC (rev 6688)
@@ -1,3 +1,7 @@
+2015-10-12  Gavin Smith  <address@hidden>
+
+       * doc/texinfo.texi (@setfilename): @setfilename not required.
+
 2015-10-09  Gavin Smith  <address@hidden>
 
        * doc/texinfo.texi (Testing for Texinfo Commands): Use @@@@ in 

Modified: trunk/doc/texinfo.texi
===================================================================
--- trunk/doc/texinfo.texi      2015-10-09 16:47:13 UTC (rev 6687)
+++ trunk/doc/texinfo.texi      2015-10-12 21:02:23 UTC (rev 6688)
@@ -1921,9 +1921,6 @@
 @@setfilename @var{info-file-name}
 @end example
 
-This command is required for @TeX{}, and very strongly recommended for
address@hidden
-
 Write the @code{@@setfilename} command at the beginning of a line and
 follow it on the same line by the Info file name.  Do not write
 anything else on the line.