diff options
| author | Karl Berry <karl@freefriends.org> | 2019-11-17 18:10:15 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2019-11-17 18:10:15 +0000 |
| commit | 7c8c128c014e0369e53cdae93b2a0a9d1a793591 (patch) | |
| tree | c84cfa0192aa56bf66a2929c7b91ebe09608d172 | |
| parent | 2938de12da110ddfebd639e0c397840e3735ee55 (diff) | |
man page patterns
git-svn-id: svn://tug.org/texlive/trunk@52835 c570f23f-e606-0410-a88d-b1316a301751
| -rw-r--r-- | Master/tlpkg/tlpsrc/luatex.tlpsrc | 1 | ||||
| -rw-r--r-- | Master/tlpkg/tlpsrc/xelatex-dev.tlpsrc | 3 |
2 files changed, 4 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/luatex.tlpsrc b/Master/tlpkg/tlpsrc/luatex.tlpsrc index a58e4902351..6b053ef5b68 100644 --- a/Master/tlpkg/tlpsrc/luatex.tlpsrc +++ b/Master/tlpkg/tlpsrc/luatex.tlpsrc @@ -13,6 +13,7 @@ execute AddFormat name=dviluatex engine=luatex options="dviluatex.ini" \ fmttriggers=${fmtdeps} # docpattern d texmf-dist/doc/luatex/base +docpattern f texmf-dist/doc/man/man1/dviluatex.* docpattern f texmf-dist/doc/man/man1/luatex.* docpattern f texmf-dist/doc/man/man1/texlua* # diff --git a/Master/tlpkg/tlpsrc/xelatex-dev.tlpsrc b/Master/tlpkg/tlpsrc/xelatex-dev.tlpsrc index bcbdecbabe5..1d0578fe3ce 100644 --- a/Master/tlpkg/tlpsrc/xelatex-dev.tlpsrc +++ b/Master/tlpkg/tlpsrc/xelatex-dev.tlpsrc @@ -2,6 +2,9 @@ category TLCore binpattern f bin/${ARCH}/xelatex-dev +# man pages can be in latex-bin-dev for sake of wildcard. +docpattern f ignore + tlpsetvar fmtcomm cm,hyphen-base,tex-ini-files,unicode-data # execute AddFormat name=xelatex-dev engine=xetex patterns=language.dat \ |