diff options
author | Karl Berry <karl@freefriends.org> | 2008-07-17 17:29:42 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-07-17 17:29:42 +0000 |
commit | 55b6390d0fab9ddc5918cb45f0ada0fb4824e201 (patch) | |
tree | 2dc3791ac2175787d642abc1f93666ff570a70b2 /Master/tlpkg/tlpsrc/texinfo.tlpsrc | |
parent | 36b036f5cddec38eddfea2241e9acff2247e60de (diff) |
get man pages in pdf
git-svn-id: svn://tug.org/texlive/trunk@9633 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/texinfo.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/texinfo.tlpsrc | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/Master/tlpkg/tlpsrc/texinfo.tlpsrc b/Master/tlpkg/tlpsrc/texinfo.tlpsrc index 4629948e465..84b749c6493 100644 --- a/Master/tlpkg/tlpsrc/texinfo.tlpsrc +++ b/Master/tlpkg/tlpsrc/texinfo.tlpsrc @@ -6,15 +6,15 @@ docpattern f texmf/doc/info/info-stnd.info docpattern f texmf/doc/info/info.info docpattern f texmf/doc/info/texdraw.info docpattern f texmf/doc/info/texi*.info -docpattern f texmf/doc/man/man1/info.1 -docpattern f texmf/doc/man/man1/infokey.1 -docpattern f texmf/doc/man/man1/install-info.1 -docpattern f texmf/doc/man/man1/makeinfo.1 -docpattern f texmf/doc/man/man1/texi2dvi.1 -docpattern f texmf/doc/man/man1/texi2pdf.1 -docpattern f texmf/doc/man/man1/texindex.1 -docpattern f texmf/doc/man/man5/info.5 -docpattern f texmf/doc/man/man5/texinfo.5 +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/texi2dvi.* +docpattern f texmf/doc/man/man1/texi2pdf.* +docpattern f texmf/doc/man/man1/texindex.* +docpattern f texmf/doc/man/man5/info.* +docpattern f texmf/doc/man/man5/texinfo.* docpattern f texmf/doc/texinfo/* binpattern f bin/${ARCH}/info binpattern f bin/${ARCH}/infokey |