summaryrefslogtreecommitdiff
path: root/Build/source
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source')
-rw-r--r--Build/source/Makefile.in5
1 files changed, 2 insertions, 3 deletions
diff --git a/Build/source/Makefile.in b/Build/source/Makefile.in
index 48ace8653a1..525f105d46f 100644
--- a/Build/source/Makefile.in
+++ b/Build/source/Makefile.in
@@ -61,7 +61,6 @@ install: all
if test -d $(texmf) && test -f $(srcdir)/release-tetex-src.txt; then \
$(INSTALL_DATA) $(srcdir)/release-tetex-src.txt $(texmf); \
fi
- $(MAKE) strip
@FMU@
@FMU@install-extra:
# temporary fix for missing links
@@ -106,7 +105,7 @@ install-exec:
$(scriptdir)/texlinks; \
else :; fi
-strip:
+strip: install
cd $(bindir) && strip * >/dev/null 2>&1 || true
check:
@@ -145,7 +144,7 @@ tags TAGS:
realclean: distclean
-world: install
+world: install strip
pdftex pdfetex:
cd texk/web2c; $(MAKE) $@
test -f texk/web2c/pdftex && ls -l texk/web2c/pdftex