diff options
author | Karl Berry <karl@freefriends.org> | 2008-04-30 16:53:06 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-04-30 16:53:06 +0000 |
commit | 06d7ba232c516289a0b08773e656df54c543727d (patch) | |
tree | 72bcee937470defaa9e90d8bfb3151d9982277a8 /Master/texmf/lists/bin-texinfo | |
parent | 907758338cb7c8174780e035eabac245f5d8f5da (diff) |
no more lists files
git-svn-id: svn://tug.org/texlive/trunk@7746 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf/lists/bin-texinfo')
-rw-r--r-- | Master/texmf/lists/bin-texinfo | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/Master/texmf/lists/bin-texinfo b/Master/texmf/lists/bin-texinfo deleted file mode 100644 index ffeef0c8c3a..00000000000 --- a/Master/texmf/lists/bin-texinfo +++ /dev/null @@ -1,25 +0,0 @@ -+bin-kpathsea -texmf/doc/info/fontname.info -texmf/doc/info/info-stnd.info -texmf/doc/info/info.info -texmf/doc/info/texdraw.info -texmf/doc/info/texi2html.info -texmf/doc/info/texinfo.info -texmf/doc/man/man1/info.1 -texmf/doc/man/man1/infokey.1 -texmf/doc/man/man1/install-info.1 -texmf/doc/man/man1/makeinfo.1 -texmf/doc/man/man1/texi2dvi.1 -texmf/doc/man/man1/texi2html.1 -texmf/doc/man/man1/texi2pdf.1 -texmf/doc/man/man1/texindex.1 -texmf/doc/man/man5/info.5 -texmf/doc/man/man5/texinfo.5 -texmf/doc/texi2html/texi2html.html -texmf/doc/texinfo/info-stnd.html -texmf/doc/texinfo/info-stnd.pdf -texmf/doc/texinfo/info.html -texmf/doc/texinfo/info.pdf -texmf/doc/texinfo/texinfo.html -texmf/doc/texinfo/texinfo.pdf -texmf/lists/bin-texinfo |