1
0
mirror of https://github.com/gryf/wmaker.git synced 2026-02-04 15:25:52 +01:00

WMRootMenu is now plmenu instead of a text menu

This commit is contained in:
kojima
2000-07-15 08:14:12 +00:00
parent b3dee733bb
commit 2dd7218dfa
4 changed files with 5 additions and 5 deletions

View File

@@ -3,7 +3,7 @@ defsdatadir = $(sysconfdir)/WindowMaker
defsdata_DATA = WMRootMenu WMWindowAttributes WindowMaker WMState WMGLOBAL
EXTRA_DIST = WMRootMenu WMGLOBAL WMWindowAttributes.in WindowMaker.in WMState.in
EXTRA_DIST = WMGLOBAL WMWindowAttributes.in WindowMaker.in WMState.in
CLEANFILES = WMWindowAttributes WindowMaker WMState
@@ -24,3 +24,6 @@ WMState: $(srcdir)/WMState.in
sed -e "s:#wprefs#:$(wprefsdir)/WPrefs:" $(srcdir)/WMState.in > WMState
chmod 644 WMState
WMRootMenu: $(srcdir)/../plmenu
-cp -f ../plmenu WMRootMenu