summaryrefslogtreecommitdiff
path: root/Build/source/Makefile.in
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/Makefile.in')
-rw-r--r--Build/source/Makefile.in6
1 files changed, 4 insertions, 2 deletions
diff --git a/Build/source/Makefile.in b/Build/source/Makefile.in
index e5cc335fa5a..48ace8653a1 100644
--- a/Build/source/Makefile.in
+++ b/Build/source/Makefile.in
@@ -61,6 +61,7 @@ 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
@@ -105,7 +106,8 @@ install-exec:
$(scriptdir)/texlinks; \
else :; fi
-strip:
+strip:
+ cd $(bindir) && strip * >/dev/null 2>&1 || true
check:
cd texk; TEXMF='{$(texmf),$(texmf)-dist}' TEXMFCNF=$(texmf)/web2c $(MAKE) $@
@@ -143,7 +145,7 @@ tags TAGS:
realclean: distclean
-world: all install
+world: install
pdftex pdfetex:
cd texk/web2c; $(MAKE) $@
test -f texk/web2c/pdftex && ls -l texk/web2c/pdftex