small changes plus generation of some TeX files