summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc/texinfo.tlpsrc
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2008-07-27 17:04:01 +0000
committerKarl Berry <karl@freefriends.org>2008-07-27 17:04:01 +0000
commit4f4723971c3254f08cb322e61e561c7aeec9954c (patch)
tree38758e556e5beb339cf3d518c188d0ab874073f1 /Master/tlpkg/tlpsrc/texinfo.tlpsrc
parent07500b42df73eb4a67ba18cfae0a560ad1a11c38 (diff)
add new man pages here too
git-svn-id: svn://tug.org/texlive/trunk@9816 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/texinfo.tlpsrc')
-rw-r--r--Master/tlpkg/tlpsrc/texinfo.tlpsrc1
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/texinfo.tlpsrc b/Master/tlpkg/tlpsrc/texinfo.tlpsrc
index 84b749c6493..2b1198d582f 100644
--- a/Master/tlpkg/tlpsrc/texinfo.tlpsrc
+++ b/Master/tlpkg/tlpsrc/texinfo.tlpsrc
@@ -10,6 +10,7 @@ docpattern f texmf/doc/man/man1/info.*
docpattern f texmf/doc/man/man1/infokey.*
docpattern f texmf/doc/man/man1/install-info.*
docpattern f texmf/doc/man/man1/makeinfo.*
+docpattern f texmf/doc/man/man1/pdftexi2dvi.*
docpattern f texmf/doc/man/man1/texi2dvi.*
docpattern f texmf/doc/man/man1/texi2pdf.*
docpattern f texmf/doc/man/man1/texindex.*