44 """ |
44 """ |
45 XMLStreamWriterBase.writeXML(self) |
45 XMLStreamWriterBase.writeXML(self) |
46 |
46 |
47 self.writeDTD( |
47 self.writeDTD( |
48 '<!DOCTYPE UserProject SYSTEM "UserProject-{0}.dtd">'.format( |
48 '<!DOCTYPE UserProject SYSTEM "UserProject-{0}.dtd">'.format( |
49 userProjectFileFormatVersion)) |
49 userProjectFileFormatVersion)) |
50 |
50 |
51 # add some generation comments |
51 # add some generation comments |
52 self.writeComment( |
52 self.writeComment( |
53 " eric5 user project file for project {0} ".format(self.name)) |
53 " eric5 user project file for project {0} ".format(self.name)) |
54 if Preferences.getProject("XMLTimestamp"): |
54 if Preferences.getProject("XMLTimestamp"): |