Fix LSR gen: \\ in texidoc needs to be escaped once more (used in regexp!)

In makelsr.py, we read in the .texidoc file and insert its contents into the
snippet page. Unfortunately, this is done using a regexp, so \\ is understood
as ONE escaped backslash. Thus, I simply replace \\ by \\\\ before inserting...

diff --git a/buildscripts/makelsr.py b/buildscripts/makelsr.py
index 2c68e8c94fb67f49f872e850332191debf300094..65f06d60ab6a573a750b34b8c6c26348871a5b77 100755 (executable)
--- a/buildscripts/makelsr.py
+++ b/buildscripts/makelsr.py
@@ -79,6 +79,10 @@ def copy_ly (srcdir, name, tags):
                                                  os.path.splitext (name)[0] + '.texidoc')
        if os.path.exists (texidoc_translations_path):
                texidoc_translations = open (texidoc_translations_path).read ()
+               # Since we want to insert the translations verbatim using a 
+               # regexp, \\ is understood as ONE escaped backslash. So we have
+               # to escape those backslashes once more...
+               texidoc_translations = texidoc_translations.replace ('\\', '\\\\')
                s = begin_header_re.sub ('\\g<0>\n' + texidoc_translations, s, 1)
 
        if in_dir in srcdir: