Changeset 16690
- Timestamp:
- 2008-08-08 15:18:47 (5 months ago)
- Files:
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
greenstone3/trunk/src/java/org/greenstone/gsdl3/util/XMLConverter.java
r16688 r16690 207 207 String sid = dt.getSystemId(); 208 208 209 String doctype_str = "<!DOCTYPE " + dt.getName() + " PUBLIC \"" + pid + "\" " + sid + "\">\n";209 String doctype_str = "<!DOCTYPE " + dt.getName() + " PUBLIC \"" + pid + "\" \"" + sid + "\">\n"; 210 210 211 211 xmlRepresentation.append(doctype_str);
