[7895] parsetexi remove setcontentsaftertitlepage as global command

[gavinsmith0123]

Revision: 7895
          http://svn.sv.gnu.org/viewvc/?view=rev&root=texinfo&revision=7895
Author:   gavin
Date:     2017-07-01 18:06:11 -0400 (Sat, 01 Jul 2017)
Log Message:
-----------
parsetexi remove setcontentsaftertitlepage as global command

Modified Paths:
--------------
    trunk/tp/parsetexi/command_data.txt
    trunk/tp/parsetexi/handle_commands.c

Modified: trunk/tp/parsetexi/command_data.txt
===================================================================
--- trunk/tp/parsetexi/command_data.txt 2017-07-01 21:47:38 UTC (rev 7894)
+++ trunk/tp/parsetexi/command_data.txt 2017-07-01 22:06:11 UTC (rev 7895)
@@ -71,9 +71,9 @@
 insertcopying                  misc,global             MISC_noarg
 clickstyle                     misc,global             MISC_special
 # more relevant in preamble
-setcontentsaftertitlepage      misc,global_unique,deprecated   MISC_skipline
-setshortcontentsaftertitlepage misc,global_unique,deprecated   MISC_skipline
-documentencoding               misc,global     MISC_text
+setcontentsaftertitlepage      misc,deprecated         MISC_skipline
+setshortcontentsaftertitlepage misc,deprecated         MISC_skipline
+documentencoding               misc,global             MISC_text
 novalidate                     misc,global_unique      MISC_skipline
 validatemenus                  misc,global_unique      1
 dircategory                    misc            MISC_line

Modified: trunk/tp/parsetexi/handle_commands.c
===================================================================
--- trunk/tp/parsetexi/handle_commands.c        2017-07-01 21:47:38 UTC (rev 
7894)
+++ trunk/tp/parsetexi/handle_commands.c        2017-07-01 22:06:11 UTC (rev 
7895)
@@ -163,8 +163,6 @@
         GLOBAL_UNIQUE_CASE(titlepage);
         GLOBAL_UNIQUE_CASE(top);
         GLOBAL_UNIQUE_CASE(documentdescription);
-        GLOBAL_UNIQUE_CASE(setcontentsaftertitlepage);
-        GLOBAL_UNIQUE_CASE(setshortcontentsaftertitlepage);
         GLOBAL_UNIQUE_CASE(novalidate);
         GLOBAL_UNIQUE_CASE(validatemenus);
         GLOBAL_UNIQUE_CASE(pagesizes);