diff options
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 |