branch master updated: NEWS: document remove IGNORE_BEFORE_SETFILENAME (always set).

[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 cb9c11627b NEWS: document remove IGNORE_BEFORE_SETFILENAME (always 
set).
cb9c11627b is described below

commit cb9c11627b1c0e073a10956d14f9deb5ac183530
Author: Patrice Dumas <pertusus@free.fr>
AuthorDate: Fri Dec 31 15:56:58 2021 +0100

    NEWS: document remove IGNORE_BEFORE_SETFILENAME (always set).
---
 NEWS | 1 +
 1 file changed, 1 insertion(+)

diff --git a/NEWS b/NEWS
index b7f95f64c9..a2370e29fc 100644
--- a/NEWS
+++ b/NEWS
@@ -18,6 +18,7 @@ See the manual for detailed information.
    as if it was false.
  . New customization variable ASCII_PUNCTUATION to use plain ASCII characters
    for quotation marks and a few other symbols
+ . IGNORE_BEFORE_SETFILENAME customization variable removed.  Always set.
  . HTML output:
      . use <code> tag for the output of @t instead of <tt>