svghmi/svghmi.py
changeset 3875 6d65508a059e
parent 3863 b076f52bd1c8
child 3878 58bce98b9ac6
equal deleted inserted replaced
3874:48d66d3fb3a6 3875:6d65508a059e
   615             else:
   615             else:
   616                 self.GetCTRoot().logger.write("    No changes - XSLT transformation skipped\n")
   616                 self.GetCTRoot().logger.write("    No changes - XSLT transformation skipped\n")
   617 
   617 
   618         else:
   618         else:
   619             target_file = open(target_path, 'wb')
   619             target_file = open(target_path, 'wb')
   620             target_file.write("""<!DOCTYPE html>
   620             target_file.write(b"""<!DOCTYPE html>
   621 <html xmlns="http://www.w3.org/1999/xhtml">
   621 <html xmlns="http://www.w3.org/1999/xhtml">
   622 <head>
   622 <head>
   623 <title>SVGHMI</title>
   623 <title>SVGHMI</title>
   624 </head>
   624 </head>
   625 <body>
   625 <body>