wm-addons/jgmenu/DETAILS


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

           SPELL=jgmenu
         VERSION=4.4.1
          SOURCE=${SPELL}-${VERSION}.tar.gz
         SOURCE2=196.patch
   SOURCE_URL[0]=https://github.com/johanmalm/${SPELL}/archive/v${VERSION}.tar.gz
     SOURCE_HASH=sha512:e09ff357e99e58ba63f0a9e8c9c8d1164bcc588bfda565139a8d9b35bb76683e284952feb12680830bec8188957c5b7aec6c89817962fb368381b80046d43ae0
  SOURCE2_URL[0]=https://github.com/jgmenu/jgmenu/pull/${SOURCE2}
    SOURCE2_HASH=sha512:46a56c6215efc9f53e6fc54ab060c079c6cf83eea1786580914ddce74b515986c036c1f620d1f7b6499f0fe6bb09ac8cb56cc60e596d7c609b406884fe7877ef
SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}"
        DOC_DIRS="docs/relnotes"
            DOCS="docs/manual/*.md AUTHORS.md CONTRIBUTING.md INSTALL.md NEWS.md TODO.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