Delete doc.glsdefs