diff options
| author | Mark Tiefenbruck <mark@fluxbox.org> | 2008-06-20 03:48:26 (GMT) |
|---|---|---|
| committer | Mark Tiefenbruck <mark@fluxbox.org> | 2008-06-20 03:48:26 (GMT) |
| commit | 1a54fbc67d5ca8ef22deed2fffe749b9f99739b4 (patch) | |
| tree | 7d355643f0108b83b15f1086d7e871a769a70fa5 /configure.in | |
| parent | e71892d99cbe99e2335aa6eb3771ffbb72c5303f (diff) | |
| download | fluxbox_pavel-1a54fbc67d5ca8ef22deed2fffe749b9f99739b4.zip fluxbox_pavel-1a54fbc67d5ca8ef22deed2fffe749b9f99739b4.tar.bz2 | |
move default window menu to ~/.fluxbox/windowmenu
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 90f020f..c778ab1 100644 --- a/configure.in +++ b/configure.in | |||
| @@ -538,6 +538,14 @@ AC_ARG_WITH( | |||
| 538 | AC_SUBST(DEFAULT_MENU) | 538 | AC_SUBST(DEFAULT_MENU) |
| 539 | 539 | ||
| 540 | AC_ARG_WITH( | 540 | AC_ARG_WITH( |
| 541 | windowmenu, | ||
| 542 | [ --with-windowmenu=path location windowmenu file (PREFIX/share/fluxbox/windowmenu)], | ||
| 543 | DEFAULT_WINDOWMENU=$with_windowmenu, | ||
| 544 | DEFAULT_WINDOWMENU=\$\(prefix\)/share/fluxbox/windowmenu | ||
| 545 | ) | ||
| 546 | AC_SUBST(DEFAULT_WINDOWMENU) | ||
| 547 | |||
| 548 | AC_ARG_WITH( | ||
| 541 | style, | 549 | style, |
| 542 | [ --with-style=path style by default (PREFIX/share/fluxbox/styles/bloe)], | 550 | [ --with-style=path style by default (PREFIX/share/fluxbox/styles/bloe)], |
| 543 | DEFAULT_STYLE=$with_style, | 551 | DEFAULT_STYLE=$with_style, |