tex input files finished