]> git.lyx.org Git - lyx.git/blobdiff - lib/scripts/prefs2prefs_prefs.py
Small clarification about 'LyX Archives'
[lyx.git] / lib / scripts / prefs2prefs_prefs.py
index 5a0970bbfd00c48092c6b1de31331d741b78d568..2a77d793769d3ca4ce7f78132efe4f0c33e2261a 100644 (file)
@@ -49,7 +49,7 @@ def remove_obsolete(line):
 def language_use_babel(line):
        if not line.startswith("\language_use_babel"):
                return no_match
-       re_lub = re.compile(r'^\\language_use_babel\s+(true|false)')
+       re_lub = re.compile(r'^\\language_use_babel\s+"?(true|false)')
        m = re_lub.match(line)
        val = m.group(1)
        newval = '0'