git ignore tex garbage