Add files generated by infinite.tex