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