tex/pdf updated