From c05e323e497d7d8e3befb371d6b78e1f91be83d9 Mon Sep 17 00:00:00 2001
From: Philipp Gesang <phg42.2a@gmail.com>
Date: Tue, 5 Nov 2013 20:21:44 +0100
Subject: [main] add setting for db stripping to luaotfload.lua

---
 luaotfload.dtx | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/luaotfload.dtx b/luaotfload.dtx
index e19cdc3..5d80318 100644
--- a/luaotfload.dtx
+++ b/luaotfload.dtx
@@ -1550,6 +1550,9 @@ config.luaotfload.names_dir       = config.luaotfload.names_dir        or "names
 config.luaotfload.cache_dir       = config.luaotfload.cache_dir        or "fonts"
 config.luaotfload.index_file      = config.luaotfload.index_file       or "luaotfload-names.lua"
 config.luaotfload.formats         = config.luaotfload.formats          or "otf,ttf,ttc,dfont"
+if not config.luaotfload.strip then
+    config.luaotfload.strip = true
+end
 
 luaotfload.module = {
     name          = "luaotfload",
-- 
cgit v1.2.3