diff options
-rw-r--r-- | Master/tlpkg/tlpsrc/xindy.tlpsrc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/tlpkg/tlpsrc/xindy.tlpsrc b/Master/tlpkg/tlpsrc/xindy.tlpsrc index 448c7efc5a1..c834538ac32 100644 --- a/Master/tlpkg/tlpsrc/xindy.tlpsrc +++ b/Master/tlpkg/tlpsrc/xindy.tlpsrc @@ -1,6 +1,7 @@ name xindy category TLCore -docpattern f texmf/doc/xindy/* +docpattern d texmf/doc/xindy +docpattern d texmf/xindy binpattern f bin/${ARCH}/texindy binpattern f bin/${ARCH}/tex2xindy binpattern f bin/${ARCH}/xindy |