change tex working file extension and update document