diff options
author | Karl Berry <karl@freefriends.org> | 2017-04-20 21:14:36 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2017-04-20 21:14:36 +0000 |
commit | 163d3472b5d4f4220d78b56e5021ae37757eaade (patch) | |
tree | dd7c115b15b628c2bedacac33a02bfa1e5c9bd47 /Master | |
parent | 3b80009442d381e279ef198763ebf595b61496d9 (diff) |
include xindy.mem
git-svn-id: svn://tug.org/texlive/trunk@43948 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rw-r--r-- | Master/tlpkg/tlpsrc/xindy.tlpsrc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Master/tlpkg/tlpsrc/xindy.tlpsrc b/Master/tlpkg/tlpsrc/xindy.tlpsrc index 3ee90002e2f..907def3a68d 100644 --- a/Master/tlpkg/tlpsrc/xindy.tlpsrc +++ b/Master/tlpkg/tlpsrc/xindy.tlpsrc @@ -10,10 +10,11 @@ tlpsetvar no_xindy_platforms \ binpattern f/!${no_xindy_platforms} bin/${ARCH}/texindy binpattern f/!${no_xindy_platforms} bin/${ARCH}/tex2xindy binpattern f/!${no_xindy_platforms} bin/${ARCH}/xindy +binpattern f/!${no_xindy_platforms} bin/${ARCH}/xindy.mem # -# Also, cygwin and windows must use a different name for the clisp executable. +# cygwin and windows must use a different name for the clisp executable. binpattern f/!i386-cygwin,x86_64-cygwin,win32,${no_xindy_platforms} \ -bin/${ARCH}/xindy.run + bin/${ARCH}/xindy.run binpattern f/i386-cygwin,x86_64-cygwin,win32 bin/${ARCH}/xindy-lisp.exe # docpattern f texmf-dist/doc/man/man1/*xindy.* |