From: Simon Josefsson Date: Thu, 15 Apr 2010 11:44:21 +0000 (+0200) Subject: top/maint.mk (sc_texinfo_acronym): Improve filename regexp. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=85b3216cdcbe047fb4d2b0fac7ee43b46dc384b5;p=pspp top/maint.mk (sc_texinfo_acronym): Improve filename regexp. --- diff --git a/ChangeLog b/ChangeLog index 94e49f9441..ccc17d96bf 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2010-04-15 Jim Meyering + + * top/maint.mk (sc_texinfo_acronym): Improve filename regexp, and + make it configurable via texinfo_suffix_re_. + 2010-04-14 Eric Blake strtok_r: relax license to LGPLv2+ diff --git a/top/maint.mk b/top/maint.mk index 6942730b76..4d87b4ac75 100644 --- a/top/maint.mk +++ b/top/maint.mk @@ -660,9 +660,10 @@ sc_GFDL_version: $(_sc_search_regexp) # Don't use Texinfo @acronym{} as it is not a good idea. +texinfo_suffix_re_ ?= \\.(txi|texi(nfo)?)$$ sc_texinfo_acronym: - @prohibit='@acronym{' \ - in_vc_files='\.texi$$' \ + @prohibit='@acronym\{' \ + in_vc_files='$(texinfo_suffix_re_)' \ halt='found use of Texinfo @acronym{}' \ $(_sc_search_regexp)