diff options
Diffstat (limited to 'Master/texmf-dist/scripts/texdoc/config.tlu')
-rw-r--r-- | Master/texmf-dist/scripts/texdoc/config.tlu | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/Master/texmf-dist/scripts/texdoc/config.tlu b/Master/texmf-dist/scripts/texdoc/config.tlu index bc5e95ed025..e7a7c369e4f 100644 --- a/Master/texmf-dist/scripts/texdoc/config.tlu +++ b/Master/texmf-dist/scripts/texdoc/config.tlu @@ -1,8 +1,9 @@ +-- $Id: config.tlu 6 2017-05-11 15:43:32Z karl $ -- config.tlu: configuration handling for texdoc -- --- Manuel Pégourié-Gonnard, GPLv3, see texdoclib.tlu for details +-- Manuel Pégourié-Gonnard, GPLv3+, see texdoclib.tlu for details --------------------------- hide the config table --------------------------- +-------------------------- hide the config table -------------------------- -- config is read-only (but not "deep" read-only) function set_read_only(table, name) @@ -20,7 +21,7 @@ end real_set_config = set_read_only(config, 'config') -------------------------- general config functions ------------------------- +------------------------- general config functions ------------------------ -- set a config parameter, but don't overwrite it if already set -- three special types: *_list (list), *_switch (boolean), *_level (number) @@ -124,7 +125,7 @@ function set_config_list (conf, context) end end ------------------------- options from command line ------------------------- +------------------------ options from command line ------------------------ -- set config from the command line -- Please make sure to update C.usage_msg accordingly |