From: Simon Josefsson <simon@josefsson.org>
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  <meyering@redhat.com>
+
+	* top/maint.mk (sc_texinfo_acronym): Improve filename regexp, and
+	make it configurable via texinfo_suffix_re_.
+
 2010-04-14  Eric Blake  <eblake@redhat.com>
 
 	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)