diff options
| -rw-r--r-- | Master/tlpkg/tlpsrc/makeindex.tlpsrc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/makeindex.tlpsrc b/Master/tlpkg/tlpsrc/makeindex.tlpsrc index b64fd67f7c0..b7cc1880eda 100644 --- a/Master/tlpkg/tlpsrc/makeindex.tlpsrc +++ b/Master/tlpkg/tlpsrc/makeindex.tlpsrc @@ -1,3 +1,4 @@ +catalogue makeindexk binpattern f bin/${ARCH}/makeindex binpattern f bin/${ARCH}/mkindex runpattern d texmf-dist/makeindex/base |