#!/usr/bin/install-menu
#
# Generate /etc/X11/wmanagerrc, a list of window managers.
#

compat="menu-1"

!include menu.h

supported
  wm=title() "=" $command "\n"
endsupported

startmenu=""
endmenu=""
preoutput=""

genmenu="wmanagerrc"
rootprefix="/etc/X11"

# This creates ~/.wmanager/wmanagerrc when run by a user.  It seems
# like a bad idea to overwrite a user's actual ~/.wmanagerrc file, in
# case that was created by hand or something.  Users who know what
# they're doing with private update-menus can symlink if desired.
#
userprefix="/.wmanager"
