From: Simon Josefsson <simon@josefsson.org>
Date: Wed, 24 Mar 2010 07:45:04 +0000 (+0100)
Subject: top/maint.mk (sc_texinfo_acronym): Add rule.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=59255e746536e35c3ebd748535cc0469720949e9;p=pspp

top/maint.mk (sc_texinfo_acronym): Add rule.

Based on suggestions from karl@freefriends.org (Karl Berry).
---

diff --git a/ChangeLog b/ChangeLog
index 8e31e9a48a..8166c5d793 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2010-03-24  Simon Josefsson  <simon@josefsson.org>
+
+	* top/maint.mk (sc_texinfo_acronym): Add rule, based on
+	suggestions from karl@freefriends.org (Karl Berry).
+
 2010-03-22  Eric Blake  <eblake@redhat.com>
 
 	gethostname: further tweaks
diff --git a/top/maint.mk b/top/maint.mk
index d2248d8faf..67421f2bb2 100644
--- a/top/maint.mk
+++ b/top/maint.mk
@@ -561,6 +561,13 @@ sc_GFDL_version:
 	@re='$(_GFDL_regexp)' msg='GFDL vN, N!=3'			\
 	  $(_prohibit_regexp)
 
+# Don't use Texinfo @acronym{} as it is not a good idea.
+sc_texinfo_acronym:
+	@grep -nE '@acronym{'						\
+	    $$($(VC_LIST_EXCEPT) | grep -E '\.texi$$') &&		\
+	  { echo '$(ME): found use of Texinfo @acronym{}' 1>&2;		\
+	    exit 1; } || :
+
 cvs_keywords = \
   Author|Date|Header|Id|Name|Locker|Log|RCSfile|Revision|Source|State