summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/scripts/texdoc/config.tlu
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/scripts/texdoc/config.tlu')
-rw-r--r--Master/texmf-dist/scripts/texdoc/config.tlu9
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