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