diff options
author | Simon Josefsson <simon@josefsson.org> | 2010-03-24 08:45:04 +0100 |
---|---|---|
committer | Simon Josefsson <simon@josefsson.org> | 2010-03-24 08:45:04 +0100 |
commit | 59255e746536e35c3ebd748535cc0469720949e9 (patch) | |
tree | c037aebbd7574f00cec2a7333ee11e6013633413 /top | |
parent | 9288d07b4f891047034df512d3e97d106c383bc9 (diff) | |
download | gnulib-59255e746536e35c3ebd748535cc0469720949e9.tar.gz |
top/maint.mk (sc_texinfo_acronym): Add rule.
Based on suggestions from karl@freefriends.org (Karl Berry).
Diffstat (limited to 'top')
-rw-r--r-- | top/maint.mk | 7 |
1 files changed, 7 insertions, 0 deletions
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 |