diff options
author | Karl Berry <karl@freefriends.org> | 2020-09-16 21:34:53 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-09-16 21:34:53 +0000 |
commit | 422619cc474863487a3bdee03feb1d5944af281b (patch) | |
tree | eb77fb6c92a27f640133f5fb49bfa8be739ec4fb /Master/texmf-dist/scripts/texdoc/texdoclib-search.tlu | |
parent | 9171277495ead4380a670e2ad46848220142611a (diff) |
texdoc (16sep20)
git-svn-id: svn://tug.org/texlive/trunk@56358 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts/texdoc/texdoclib-search.tlu')
-rwxr-xr-x | Master/texmf-dist/scripts/texdoc/texdoclib-search.tlu | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/scripts/texdoc/texdoclib-search.tlu b/Master/texmf-dist/scripts/texdoc/texdoclib-search.tlu index addb59a01f4..0340fa63ba1 100755 --- a/Master/texmf-dist/scripts/texdoc/texdoclib-search.tlu +++ b/Master/texmf-dist/scripts/texdoc/texdoclib-search.tlu @@ -442,7 +442,7 @@ end ------------------------------- use tlpdb -------------------------------- --- tlpdb mean TeX Live Package DataBase and tlp means TeX Live Package +-- tlpdb means TeX Live Package DataBase and tlp means TeX Live Package -- return true if cache exists and is newer than original, false otherwise local function good_cache(cache, ori) |