wm-menu-config - This script was called in maintainer postinst and postrm
scripts of Debian packages that install window managers or other
programs that read menus (like pdmenu). It is now deprecated since it was
broken by design: it is not available when menu is not installed, but
it should be.
DESCRIPTION
Don't use this script anymore, see the menu documentation,
available in /usr/share/doc/menu to find out how to do
without it.
COPYING
wm-menu-config is distributed under the GNU General Public License.
(GPL 2.0 or greater).
