summaryrefslogtreecommitdiff
path: root/lualibs.dtx
diff options
context:
space:
mode:
authorPhilipp Gesang <phg42.2a@gmail.com>2013-09-15 12:26:37 -0700
committerPhilipp Gesang <phg42.2a@gmail.com>2013-09-15 12:26:37 -0700
commit49880e8803d8f813aebcb15a5ecb6dc70d0caa17 (patch)
treef3335969fae3d526b4d9e968a374dd54cc87926b /lualibs.dtx
parent08311ca818df220f8e59fc0ff5835d18913daa89 (diff)
parent08563510e0f4328d9e893f17fc1fd37bac00dbc7 (diff)
downloadlualibs-49880e8803d8f813aebcb15a5ecb6dc70d0caa17.tar.gz
Merge pull request #18 from phi-gamma/master
sync
Diffstat (limited to 'lualibs.dtx')
-rw-r--r--lualibs.dtx20
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.