Sorry, the manual contains no entry named "glDeleteTextures.3".