diff options
Diffstat (limited to 'Build/source/utils/xindy-new/xindy/user-commands/Makefile.in')
-rw-r--r-- | Build/source/utils/xindy-new/xindy/user-commands/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/utils/xindy-new/xindy/user-commands/Makefile.in b/Build/source/utils/xindy-new/xindy/user-commands/Makefile.in index aafa3a51ca9..c32123e1ff7 100644 --- a/Build/source/utils/xindy-new/xindy/user-commands/Makefile.in +++ b/Build/source/utils/xindy-new/xindy/user-commands/Makefile.in @@ -473,6 +473,7 @@ uninstall-man: uninstall-man1 @TEXLIVE_BUILD_TRUE@ *) echo "strange directory '$(bindir)' for linked scripts" >&2; \ @TEXLIVE_BUILD_TRUE@ exit 1;; \ @TEXLIVE_BUILD_TRUE@ esac +@TEXLIVE_BUILD_TRUE@.PHONY: install-links @TEXLIVE_BUILD_TRUE@install-links: @TEXLIVE_BUILD_TRUE@ @cd "$(DESTDIR)$(bindir)" && \ @TEXLIVE_BUILD_TRUE@ for f in $(scripts); do \ |