Removed unnecesary tex files in manual