update tex docs