summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/scripts/texdoc/functions.tlu
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/scripts/texdoc/functions.tlu')
-rw-r--r--Master/texmf-dist/scripts/texdoc/functions.tlu5
1 files changed, 3 insertions, 2 deletions
diff --git a/Master/texmf-dist/scripts/texdoc/functions.tlu b/Master/texmf-dist/scripts/texdoc/functions.tlu
index f1ff54eca0b..0ab02278450 100644
--- a/Master/texmf-dist/scripts/texdoc/functions.tlu
+++ b/Master/texmf-dist/scripts/texdoc/functions.tlu
@@ -1,6 +1,7 @@
+-- $Id: functions.tlu 12 2017-05-17 18:07:47Z karl $
-- functions.tlu: general-use functions for texdoc
--
--- Manuel Pégourié-Gonnard, GPLv3, see texdoclib.tlu for details
+-- Manuel Pégourié-Gonnard, GPLv3+, see texdoclib.tlu for details
-- change '/' to '\' on windows
-- Use: internal representation of files always use forward slashes.
@@ -26,7 +27,7 @@ else
end
end
--- generic error display function (see the error_priority constant)
+-- generic error display function (see the err_priority constant)
function err_print (lvl, msg)
-- be careful: maybe config.verbosity_level is not set yet
local verbosity_level = config.verbosity_level or tonumber(C.def_verbosity)