diff options
-rw-r--r-- | Master/tlpkg/tlpsrc/bin-pdftex.tlpsrc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/bin-pdftex.tlpsrc b/Master/tlpkg/tlpsrc/bin-pdftex.tlpsrc index 38fb1b78699..d1dc1846fbe 100644 --- a/Master/tlpkg/tlpsrc/bin-pdftex.tlpsrc +++ b/Master/tlpkg/tlpsrc/bin-pdftex.tlpsrc @@ -7,6 +7,7 @@ runpattern f texmf/fonts/map/pdftex/updmap/* runpattern f texmf/tex/generic/config/pdftex*.tex runpattern f texmf/tex/generic/pdftex/* runpattern f texmf/web2c/pdftex.pool +runpattern d texmf/scripts/simpdftex docpattern f texmf/doc/man/man1/etex.1 docpattern f texmf/doc/man/man1/pdfetex.1 docpattern f texmf/doc/man/man1/pdflatex.1 |