diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2013-09-15 12:26:37 -0700 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-09-15 12:26:37 -0700 |
commit | 49880e8803d8f813aebcb15a5ecb6dc70d0caa17 (patch) | |
tree | f3335969fae3d526b4d9e968a374dd54cc87926b /lualibs.dtx | |
parent | 08311ca818df220f8e59fc0ff5835d18913daa89 (diff) | |
parent | 08563510e0f4328d9e893f17fc1fd37bac00dbc7 (diff) | |
download | lualibs-49880e8803d8f813aebcb15a5ecb6dc70d0caa17.tar.gz |
Merge pull request #18 from phi-gamma/master
sync
Diffstat (limited to 'lualibs.dtx')
-rw-r--r-- | lualibs.dtx | 20 |
1 files changed, 17 insertions, 3 deletions
diff --git a/lualibs.dtx b/lualibs.dtx index 6298564..45283cf 100644 --- a/lualibs.dtx +++ b/lualibs.dtx @@ -445,9 +445,23 @@ lualibs.module_info = { config = config or { } config.lualibs = config.lualibs or { } -lualibs.prefer_merged = config.lualibs.prefer_merged or true -lualibs.load_extended = config.lualibs.load_extended or true -config.lualibs.verbose = config.lualibs.verbose or false +if config.lualibs.prefer_merged ~= nil then + lualibs.prefer_merged = config.lualibs.prefer_merged +else + lualibs.prefer_merged = true +end + +if config.lualibs.load_extended ~= nil then + lualibs.load_extended = config.lualibs.load_extended +else + lualibs.load_extended = true +end + +if config.lualibs.verbose ~= nil then + config.lualibs.verbose = config.lualibs.verbose +else + config.lualibs.verbose = false +end % \end{macrocode} % The lualibs may be loaded in scripts. |