diff options
-rw-r--r-- | Master/tlpkg/tlpsrc/makeindex.tlpsrc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Master/tlpkg/tlpsrc/makeindex.tlpsrc b/Master/tlpkg/tlpsrc/makeindex.tlpsrc index 94981f44a08..f795abee5c2 100644 --- a/Master/tlpkg/tlpsrc/makeindex.tlpsrc +++ b/Master/tlpkg/tlpsrc/makeindex.tlpsrc @@ -1,4 +1,5 @@ -docpattern +f texmf/doc/man/man1/makeindex.* -docpattern +f texmf/doc/man/man1/mkindex.* binpattern f bin/${ARCH}/makeindex binpattern f bin/${ARCH}/mkindex +runpattern d texmf-dist/makeindex/base +docpattern +f texmf/doc/man/man1/makeindex.* +docpattern +f texmf/doc/man/man1/mkindex.* |