Convert input files to TEI