diff options
| author |   Sebastian Pipping <sebastian@pipping.org> | 2009-10-10 10:03:20 +0200 |
|---|---|---|
| committer | Sebastian Pipping <sebastian@pipping.org> | 2009-10-10 10:03:20 +0200 |
| commit | c3278e865044070919d57bbd8c9c33f0fef9d370 (patch) | |
| tree | 2f7064b906e4b6b5ca36dd88b0e0fbc30b4205b6 /write-repositories-xml.py | |
| parent | No longer write ".git.git" in feed URIs (diff) | |
| download | repositories-xml-format-c3278e865044070919d57bbd8c9c33f0fef9d370.tar.gz repositories-xml-format-c3278e865044070919d57bbd8c9c33f0fef9d370.tar.bz2 repositories-xml-format-c3278e865044070919d57bbd8c9c33f0fef9d370.zip | |
Add support for Gentoo infra's XSL wrapping
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() |