This file generates DTDdocumentation