diff options
author | Karl Berry <karl@freefriends.org> | 2008-07-27 17:04:01 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-07-27 17:04:01 +0000 |
commit | 4f4723971c3254f08cb322e61e561c7aeec9954c (patch) | |
tree | 38758e556e5beb339cf3d518c188d0ab874073f1 /Master/tlpkg/tlpsrc/texinfo.tlpsrc | |
parent | 07500b42df73eb4a67ba18cfae0a560ad1a11c38 (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.tlpsrc | 1 |
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.* |