summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2020-07-22 16:43:04 +0000
committerKarl Berry <karl@freefriends.org>2020-07-22 16:43:04 +0000
commitd0d4f9bcda0ed1e13cb517b918e2cf30d3b66ed5 (patch)
treed5c1cefd1cb6e9760aa6ea648cbed5e71a05ef6f /Master
parentdb9f547e4396482d673cdf9c874cd3053be003a1 (diff)
tlmgr.html, not .pl
git-svn-id: svn://tug.org/texlive/trunk@55906 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rw-r--r--Master/tlpkg/tlpsrc/texlive-common.tlpsrc2
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