Generating header information using ElementTree

[Fredrik Lundh]

Craig wrote:

> I'm only new to Python so please bear with me.  I using ElementTree to
> generate an XML file that will reference a DTD and an XSL file.  The
> header information I want at the start of the file is as follows:
> 
> <?xml version="1.0"?>
> <?xml-stylesheet type="text/xsl" href="test.xsl"?>
> <!DOCTYPE BobActivityLog SYSTEM "test.dtd">
> 
> How do you add this header information to the tree

to the file, you mean?  use print.

</F>