diff options
Diffstat (limited to 'Build/source/texk/kpathsea/Makefile.in')
-rw-r--r-- | Build/source/texk/kpathsea/Makefile.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Build/source/texk/kpathsea/Makefile.in b/Build/source/texk/kpathsea/Makefile.in index a48c896b217..c98493524a0 100644 --- a/Build/source/texk/kpathsea/Makefile.in +++ b/Build/source/texk/kpathsea/Makefile.in @@ -2330,9 +2330,13 @@ uninstall-local: rm -f "$(DESTDIR)$(web2cdir)/$$f"; \ else :; fi; \ done + +# $Id$ +# am/bin_links.am: Makefile fragment for bindir links. .PHONY: install-bin-links uninstall-bin-links install-bin-links: +@WIN32_FALSE@ $(MKDIR_P) $(DESTDIR)$(bindir) @WIN32_FALSE@ @cd $(DESTDIR)$(bindir) && \ @WIN32_FALSE@ for s in $(bin_links); do \ @WIN32_FALSE@ link=`echo $$s | sed 's,.*:,,'`; \ |