diff options
Diffstat (limited to 'write-repositories-xml.py')
| -rwxr-xr-x | write-repositories-xml.py | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/write-repositories-xml.py b/write-repositories-xml.py index 8c9dff2..184c040 100755 --- a/write-repositories-xml.py +++ b/write-repositories-xml.py @@ -115,4 +115,12 @@ overlays.insert(0, ET.Comment('NOTE: This file is generated, do not edit directl recurse_print(overlays) indent(overlays) -a.write('repositories.xml') +repositories_xml = open('repositories.xml', 'w') +repositories_xml.write("""\ +<?xml version="1.0" encoding="UTF-8"?> +<!-- $Header$ --> +<?xml-stylesheet href="/xsl/repositories.xsl" type="text/xsl"?> +<!DOCTYPE repositories SYSTEM "/dtd/repositories.dtd"> +""") +a.write(repositories_xml, encoding='utf-8') +repositories_xml.close() |