diff options
author | Norbert Preining <norbert@preining.info> | 2020-09-17 03:03:01 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2020-09-17 03:03:01 +0000 |
commit | c3b4471e847c09c37a8d2587bdd0e88aaee1b124 (patch) | |
tree | b232de3ca9f38fee58adb87bd32dbd183a8fadce /support/texdoc/script/texdoclib-search.tlu | |
parent | a9e7a34498af9c67afbb969e60619a1bdf6bd96f (diff) |
CTAN sync 202009170303
Diffstat (limited to 'support/texdoc/script/texdoclib-search.tlu')
-rw-r--r-- | support/texdoc/script/texdoclib-search.tlu | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/support/texdoc/script/texdoclib-search.tlu b/support/texdoc/script/texdoclib-search.tlu index addb59a01f..0340fa63ba 100644 --- a/support/texdoc/script/texdoclib-search.tlu +++ b/support/texdoc/script/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) |