SPELL=jgmenu VERSION=2.0 SOURCE=${SPELL}-${VERSION}.tar.gz SOURCE_URL[0]=https://github.com/johanmalm/${SPELL}/archive/v${VERSION}.tar.gz SOURCE_HASH=sha512:0ba86f3586cac9c3fae30ea6f6960e211d9adbbf80f86d4b79c603ee05fe8815075308344844b1bf25cc08b4dba421865d62ee9df8702a41ed11e8e25db4eab3 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