glutDestroyMenu - destroys the specified menu.
void glutDestroyMenu(int menu);
menu The identifier of the menu to destroy.
glutDestroyMenu destroys the specified menu by menu. If
menu was the current menu, the current menu becomes
invalid and glutGetMenu will return zero.
glutCreateMenu, glutDestroyWindow
Mark J. Kilgard (mjk@nvidia.com)