diff options
Diffstat (limited to 'Master/texmf-dist/scripts/texdoc/functions.tlu')
-rw-r--r-- | Master/texmf-dist/scripts/texdoc/functions.tlu | 5 |
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) |