diff options
| author | Karl Berry <karl@freefriends.org> | 2020-07-22 16:43:04 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2020-07-22 16:43:04 +0000 |
| commit | d0d4f9bcda0ed1e13cb517b918e2cf30d3b66ed5 (patch) | |
| tree | d5c1cefd1cb6e9760aa6ea648cbed5e71a05ef6f /Master/tlpkg | |
| parent | db9f547e4396482d673cdf9c874cd3053be003a1 (diff) | |
tlmgr.html, not .pl
git-svn-id: svn://tug.org/texlive/trunk@55906 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
| -rw-r--r-- | Master/tlpkg/tlpsrc/texlive-common.tlpsrc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/tlpsrc/texlive-common.tlpsrc b/Master/tlpkg/tlpsrc/texlive-common.tlpsrc index 8cd96031535..117b9d6f734 100644 --- a/Master/tlpkg/tlpsrc/texlive-common.tlpsrc +++ b/Master/tlpkg/tlpsrc/texlive-common.tlpsrc @@ -3,7 +3,7 @@ shortdesc TeX Live documentation (common elements) # docpattern +f texmf-dist/doc/texlive/index.html docpattern +f texmf-dist/doc/texlive/install-tl.html -docpattern +f texmf-dist/doc/texlive/tlmgr.pl +docpattern +f texmf-dist/doc/texlive/tlmgr.html # postaction shortcut type=menu name="TeX Live documentation" \ cmd=TEXDIR/texmf-dist/doc/texlive/index.html |