\def\xmlfile{manual.xml}
\input xmltex