diff options
-rw-r--r-- | Master/tlpkg/tlpsrc/collection-documentation-base.tlpsrc | 1 | ||||
-rw-r--r-- | Master/tlpkg/tlpsrc/texlive-common.tlpsrc | 1 | ||||
-rw-r--r-- | Master/tlpkg/tlpsrc/texlive-docindex.tlpsrc | 5 |
3 files changed, 6 insertions, 1 deletions
diff --git a/Master/tlpkg/tlpsrc/collection-documentation-base.tlpsrc b/Master/tlpkg/tlpsrc/collection-documentation-base.tlpsrc index 07521047e91..9873171918f 100644 --- a/Master/tlpkg/tlpsrc/collection-documentation-base.tlpsrc +++ b/Master/tlpkg/tlpsrc/collection-documentation-base.tlpsrc @@ -1,4 +1,5 @@ category Collection shortdesc TeX Live documentation depend texlive-common +depend texlive-docindex depend texlive-en diff --git a/Master/tlpkg/tlpsrc/texlive-common.tlpsrc b/Master/tlpkg/tlpsrc/texlive-common.tlpsrc index dd6a8ca1630..7f268b5910a 100644 --- a/Master/tlpkg/tlpsrc/texlive-common.tlpsrc +++ b/Master/tlpkg/tlpsrc/texlive-common.tlpsrc @@ -2,7 +2,6 @@ category TLCore shortdesc TeX Live documentation (common elements) # docpattern +f texmf/doc/texlive/index.html -docpattern +f doc.html # postaction shortcut type=menu name="TeX Live documentation" \ cmd=TEXDIR/texmf/doc/texlive/index.html diff --git a/Master/tlpkg/tlpsrc/texlive-docindex.tlpsrc b/Master/tlpkg/tlpsrc/texlive-docindex.tlpsrc new file mode 100644 index 00000000000..27991dba630 --- /dev/null +++ b/Master/tlpkg/tlpsrc/texlive-docindex.tlpsrc @@ -0,0 +1,5 @@ +category TLCore +shortdesc top-level TeX Live doc.html +longdesc This file is regenerated as needed, which is often, +longdesc so we make it a separate package. +docpattern +f doc.html |