diff options
author | Karl Berry <karl@freefriends.org> | 2006-12-11 01:37:32 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2006-12-11 01:37:32 +0000 |
commit | a78c9c87823cffcf6a00c7aeab6f87600fc1bbf6 (patch) | |
tree | b1a49de532f4a3027216a28f46d3687d6c7ffcd1 /Build | |
parent | a08fa9d818c0134d891210da1a0afed0b421b19d (diff) |
(install): reinstate strip.
(strip): actually strip.
git-svn-id: svn://tug.org/texlive/trunk@2684 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rw-r--r-- | Build/source/Makefile.in | 6 |
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 |