From e1691fa514c04694da6525afb1b9ef4362356525 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Remko=20Tron=C3=A7on?= <git@el-tramo.be>
Date: Tue, 30 Mar 2010 10:00:14 +0200
Subject: Fix DocBook catalog generation on windows.


diff --git a/BuildTools/DocBook/SCons/DocBook.py b/BuildTools/DocBook/SCons/DocBook.py
index d3ef7c5..eb6473a 100644
--- a/BuildTools/DocBook/SCons/DocBook.py
+++ b/BuildTools/DocBook/SCons/DocBook.py
@@ -26,10 +26,15 @@ def generate(env) :
       rewritePrefix="%(docbook_xsl_dir)s/" />
 </catalog>"""
     
+    docbook_xml_dir = source[0].get_contents()
+    docbook_xsl_dir = source[1].get_contents()
+    if env["PLATFORM"] == "win32" :
+      docbook_xml_dir = docbook_xml_dir.replace("\\","/")
+      docbook_xsl_dir = docbook_xsl_dir.replace("\\","/")
     file = open(target[0].abspath, "w")
     file.write(catalog % {
-        "docbook_xml_dir" : source[0].get_contents(),
-        "docbook_xsl_dir" : source[1].get_contents(),
+        "docbook_xml_dir" : docbook_xml_dir,
+        "docbook_xsl_dir" : docbook_xsl_dir,
       })
     file.close()
 
-- 
cgit v0.10.2-6-g49f6