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 /Master/tlpkg/tlpsrc/luatex.tlpsrc | |
parent | 2938de12da110ddfebd639e0c397840e3735ee55 (diff) |
man page patterns
git-svn-id: svn://tug.org/texlive/trunk@52835 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/luatex.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/luatex.tlpsrc | 1 |
1 files changed, 1 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* # |