summaryrefslogtreecommitdiff
path: root/Build/source/texk
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk')
-rw-r--r--Build/source/texk/tex4htk/Makefile.in4
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