diff options
| author | Vlad Glagolev | 2018-04-05 13:34:44 -0400 |
|---|---|---|
| committer | Vlad Glagolev | 2018-04-05 13:34:44 -0400 |
| commit | 7495f2cf8745cdf4f184d954467f2da5af739ecc (patch) | |
| tree | 9ee08824405fdc7f12786645eb9501cef036adb8 /wm-addons/jgmenu/DETAILS | |
| parent | b8d7019e372274059ab75a0812b7b6887de14267 (diff) | |
jgmenu: new spell, simple X11 menu
Diffstat (limited to 'wm-addons/jgmenu/DETAILS')
| -rwxr-xr-x | wm-addons/jgmenu/DETAILS | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/wm-addons/jgmenu/DETAILS b/wm-addons/jgmenu/DETAILS new file mode 100755 index 0000000000..71748f0578 --- /dev/null +++ b/wm-addons/jgmenu/DETAILS @@ -0,0 +1,15 @@ + SPELL=jgmenu + VERSION=0.8.2 + SOURCE=${SPELL}-${VERSION}.tar.gz + SOURCE_URL[0]=https://github.com/johanmalm/${SPELL}/archive/v${VERSION}.tar.gz + SOURCE_HASH=sha512:abd7e5503cb41cf19178cfc2d98e445e945fab613a37696057e092966670aca7afb285b1674fe4fbc665630622052602b77c87df59f96a9547465116e7163810 +SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}" + DOC_DIRS="docs/relnotes" + DOCS="docs/manual/*.md ${DOCS}" + WEB_SITE=https://github.com/johanmalm/jgmenu + LICENSE[0]=GPL + ENTERED=20180405 + SHORT="simple X11 menu" +cat << EOF +jgmenu is a simple X11 menu intended to be used with tint2 and openbox. +EOF |