branch master updated: * doc/refcard/txicmdcheck (read_tp): filter out obsolete @refill.

[Patrice Dumas]

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

pertusus pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new a55346e06c * doc/refcard/txicmdcheck (read_tp): filter out obsolete 
@refill.
a55346e06c is described below

commit a55346e06c6dd4d8a36dc0d1a9e3cb1a2526c539
Author: Patrice Dumas <pertusus@free.fr>
AuthorDate: Thu Oct 20 19:55:37 2022 +0200

    * doc/refcard/txicmdcheck (read_tp): filter out obsolete @refill.
---
 ChangeLog               | 4 ++++
 doc/refcard/txicmdcheck | 1 +
 2 files changed, 5 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 86b36d71b9..97ca754abc 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2022-10-20  Patrice Dumas  <pertusus@free.fr>
+
+       * doc/refcard/txicmdcheck (read_tp): filter out obsolete @refill.
+
 2022-10-20  Patrice Dumas  <pertusus@free.fr>
 
        * doc/texinfo.texi (Debugging with @TeX{}): remove obsolete @refill in
diff --git a/doc/refcard/txicmdcheck b/doc/refcard/txicmdcheck
index 3721867833..4ab42bed3a 100755
--- a/doc/refcard/txicmdcheck
+++ b/doc/refcard/txicmdcheck
@@ -219,6 +219,7 @@ sub read_tp {
     next if $_ =~ /columnfractions
                    |(even|every|odd)(foot|head)ingmarks
                    |rmacro
+                   |refill
                    |\|
                   /x;
     $ret{$_} = 1;