(makefile-check): Add 0-9 to the range of characters disallowed between `@...@'.

diff --git a/Makefile.maint b/Makefile.maint
index bd597966fb9288abab02f95cd25672173a2ee100..e0956b79b3bc2720c2f00b1545f81c8efe3c60ae 100644 (file)
--- a/Makefile.maint
+++ b/Makefile.maint
@@ -201,7 +201,7 @@ strftime-check:
 # not @...@ in Makefile.am, now that we can rely on automake
 # to emit a definition for each substituted variable.
 makefile-check:
-       grep -E '@[A-Z_]+@' `find . -name Makefile.am` \
+       grep -E '@[A-Z_0-9]+@' `find . -name Makefile.am` \
          && { echo 'Makefile.maint: use $(...), not @...@' 1>&2; exit 1; } || :
 
 changelog-check: