diff options
-rw-r--r-- | Master/tlpkg/tlpsrc/texinfo.tlpsrc | 1 | ||||
-rw-r--r-- | Master/tlpkg/tlpsrc/xmltex.tlpsrc | 1 |
2 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/tlpsrc/texinfo.tlpsrc b/Master/tlpkg/tlpsrc/texinfo.tlpsrc index fefa5e3d8aa..6e862bb93a6 100644 --- a/Master/tlpkg/tlpsrc/texinfo.tlpsrc +++ b/Master/tlpkg/tlpsrc/texinfo.tlpsrc @@ -16,7 +16,6 @@ docpattern f texmf/doc/man/man1/texi2pdf.* docpattern f texmf/doc/man/man1/texindex.* docpattern f texmf/doc/man/man5/info.* docpattern f texmf/doc/man/man5/texinfo.* -docpattern f texmf/doc/texinfo/* binpattern f bin/${ARCH}/info binpattern f bin/${ARCH}/infokey binpattern f bin/${ARCH}/install-info diff --git a/Master/tlpkg/tlpsrc/xmltex.tlpsrc b/Master/tlpkg/tlpsrc/xmltex.tlpsrc index c8a3521d5fc..095645da319 100644 --- a/Master/tlpkg/tlpsrc/xmltex.tlpsrc +++ b/Master/tlpkg/tlpsrc/xmltex.tlpsrc @@ -9,3 +9,4 @@ runpattern d texmf-dist/tex/xmltex/base runpattern d texmf-dist/tex/xmltex/config binpattern f bin/${ARCH}/pdfxmltex binpattern f bin/${ARCH}/xmltex +docpattern d texmf-dist/doc/otherformats/xmltex/base |