From 6e8f3a265cac83f60a74082adcc488862c66ab2c Mon Sep 17 00:00:00 2001
From: Sebastian Pipping <sebastian@pipping.org>
Date: Mon, 12 Oct 2009 23:22:30 +0200
Subject: Make layman-global.txt creator script apply header and encoding

---
 write-layman-global-txt.py | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/write-layman-global-txt.py b/write-layman-global-txt.py
index 48d5316..72216fe 100755
--- a/write-layman-global-txt.py
+++ b/write-layman-global-txt.py
@@ -75,4 +75,10 @@ repositories.tag = 'layman'
 
 recurse_print(repositories)
 indent(repositories)
-a.write('layman-global.txt')
+layman_global_txt = open('layman-global.txt', 'w')
+layman_global_txt.write("""\
+<?xml version="1.0" encoding="UTF-8"?>
+<!-- $Header$ -->
+""")
+a.write(layman_global_txt, encoding='utf-8')
+layman_global_txt.close()
-- 
cgit v1.2.3-65-gdbad