diff options
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) |