diff options
| author | Simon Josefsson <simon@josefsson.org> | 2010-03-26 09:14:34 +0100 |
|---|---|---|
| committer | Simon Josefsson <simon@josefsson.org> | 2010-03-26 09:14:34 +0100 |
| commit | decf3017fc407865acdaa20ee4795b50a010239a (patch) | |
| tree | 898c5f97f58ddfbdf6ba9073e9e5eb910c852817 /top | |
| parent | 4f01268d0c584c20704e42527f4fa125e7525aae (diff) | |
| download | gnulib-decf3017fc407865acdaa20ee4795b50a010239a.tar.gz | |
top/maint.mk (sc_texinfo_acronym): Don't infloop if there is no *.texi files.
Reported by Eric Blake <eblake@redhat.com>.
Diffstat (limited to 'top')
| -rw-r--r-- | top/maint.mk | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/top/maint.mk b/top/maint.mk index 09da20afc8..6127c572f3 100644 --- a/top/maint.mk +++ b/top/maint.mk @@ -563,10 +563,13 @@ sc_GFDL_version: # Don't use Texinfo @acronym{} as it is not a good idea. sc_texinfo_acronym: - @grep -nE '@acronym{' \ - $$($(VC_LIST_EXCEPT) | grep -E '\.texi$$') && \ + @if $(VC_LIST_EXCEPT) | grep -lE '\.texi$$' >/dev/null; then \ + grep -nE '@acronym{' \ + $$($(VC_LIST_EXCEPT) | grep -E '\.texi$$') && \ { echo '$(ME): found use of Texinfo @acronym{}' 1>&2; \ - exit 1; } || : + exit 1; } || :; \ + else :; \ + fi cvs_keywords = \ Author|Date|Header|Id|Name|Locker|Log|RCSfile|Revision|Source|State |