pushing tex updates