diff options
-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 |