diff options
Diffstat (limited to 'Build/source/utils/xindy/user-commands/Makefile.am')
| -rw-r--r-- | Build/source/utils/xindy/user-commands/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/utils/xindy/user-commands/Makefile.am b/Build/source/utils/xindy/user-commands/Makefile.am index 65714f9309f..47a09347bbc 100644 --- a/Build/source/utils/xindy/user-commands/Makefile.am +++ b/Build/source/utils/xindy/user-commands/Makefile.am @@ -33,8 +33,8 @@ install-exec-hook: xindy ln -s ../texmf/scripts/xindy/xindy.pl $(bindir)/xindy; \ ln -s ../texmf/scripts/xindy/texindy.pl $(bindir)/texindy; \ else \ - echo "Error: texmf/scripts/xindy directory not found"; \ - false; \ + echo "Error: texmf/scripts/xindy directory not found" >&2; \ + exit 1; \ fi else bin_SCRIPTS = xindy |