diff options
| -rwxr-xr-x | diff-gitosis-conf-against-repositories-xml.py | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/diff-gitosis-conf-against-repositories-xml.py b/diff-gitosis-conf-against-repositories-xml.py index 1fc5601..6a5b499 100755 --- a/diff-gitosis-conf-against-repositories-xml.py +++ b/diff-gitosis-conf-against-repositories-xml.py @@ -183,4 +183,12 @@ for section_name in gitosis_conf.sections(): if extended_xml_location != None: indent(repositories) - a.write(extended_xml_location) + extended_xml = open(extended_xml_location, 'w') + extended_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(extended_xml, encoding='utf-8') + extended_xml.close() |