adding all the tex sources