Files used to generate xmltex formats
