diff options
Diffstat (limited to 'Build/source/texk')
-rw-r--r-- | Build/source/texk/tex4htk/Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/tex4htk/Makefile.in b/Build/source/texk/tex4htk/Makefile.in index 9a37f779e50..d7859d85fda 100644 --- a/Build/source/texk/tex4htk/Makefile.in +++ b/Build/source/texk/tex4htk/Makefile.in @@ -40,8 +40,8 @@ install-exec: all elif test -d "$(bindir)/../texmf-dist/scripts/tex4ht"; then \ d=../texmf-dist/scripts/tex4ht; \ else \ - echo "Error: texmf-dist/scripts/tex4ht directory not found"; \ - false; \ + echo "Error: texmf-dist/scripts/tex4ht directory not found" >&2; \ + exit 1; \ fi; \ for p in $(shell_scripts); do rm -f $(bindir)/$$p; ln -s $$d/$$p.sh $(bindir)/$$p; done; \ for p in $(perl_scripts); do rm -f $(bindir)/$$p; ln -s $$d/$$p.pl $(bindir)/$$p; done |