branch master updated: * doc/refcard/txicmdcheck (read_tp): Filter out @tpindex, etc., as we document @tindex etc. instead. From Patrice.

[Gavin D. Smith]

This is an automated email from the git hooks/post-receive script.

gavin pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new 06574cb41e * doc/refcard/txicmdcheck (read_tp): Filter out @tpindex, 
etc., as we document @tindex etc. instead. From Patrice.
06574cb41e is described below

commit 06574cb41ec9c0233139e0542a3e8c7b51b32b21
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Thu Oct 20 20:13:49 2022 +0100

    * doc/refcard/txicmdcheck (read_tp):
    Filter out @tpindex, etc., as we document @tindex etc. instead.
    From Patrice.
---
 ChangeLog               | 6 ++++++
 doc/refcard/txicmdcheck | 1 +
 2 files changed, 7 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 0cae4a6453..02c516eeee 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2022-10-20  Gavin Smith  <gavinsmith0123@gmail.com>
+
+       * doc/refcard/txicmdcheck (read_tp):
+       Filter out @tpindex, etc., as we document @tindex etc. instead.
+       From Patrice.
+
 2022-10-20  Gavin Smith  <gavinsmith0123@gmail.com>
 
        * doc/texinfo.texi (Advanced Indexing): Index @subentry
diff --git a/doc/refcard/txicmdcheck b/doc/refcard/txicmdcheck
index 4ab42bed3a..30722afe99 100755
--- a/doc/refcard/txicmdcheck
+++ b/doc/refcard/txicmdcheck
@@ -220,6 +220,7 @@ sub read_tp {
                    |(even|every|odd)(foot|head)ingmarks
                    |rmacro
                    |refill
+                   |^\@..index
                    |\|
                   /x;
     $ret{$_} = 1;