diff options
author | Karl Berry <karl@freefriends.org> | 2006-12-11 01:38:24 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2006-12-11 01:38:24 +0000 |
commit | 3710e11206de3f8ac083af69d5843ce4df29de8f (patch) | |
tree | e4ea3090008884bcb9ec962762fb35dc72345908 /Build | |
parent | a78c9c87823cffcf6a00c7aeab6f87600fc1bbf6 (diff) |
(world, install): hmm, maybe better as a
dependency than a submake.
git-svn-id: svn://tug.org/texlive/trunk@2685 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rw-r--r-- | Build/source/Makefile.in | 5 |
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 |