diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc/collection-texinfo.tlpsrc')
| -rw-r--r-- | Master/tlpkg/tlpsrc/collection-texinfo.tlpsrc | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/Master/tlpkg/tlpsrc/collection-texinfo.tlpsrc b/Master/tlpkg/tlpsrc/collection-texinfo.tlpsrc deleted file mode 100644 index 3f2c16e958f..00000000000 --- a/Master/tlpkg/tlpsrc/collection-texinfo.tlpsrc +++ /dev/null @@ -1,12 +0,0 @@ -category Collection -shortdesc GNU Texinfo -longdesc TeX macros for the GNU Texinfo documentation system. The programs -longdesc and documentation are no longer distributed with TeX Live; get -longdesc the original Texinfo package for your system. -# -# Even though collection-texinfo is tiny now, we'll leave it as a -# separate collection for the benefit of distributors and others who -# want it, but not all the other random stuff that is in formatsextra. -# -depend texinfo -depend collection-basic |