# Watch: https://ftp.gnu.org/gnu/direvent
           SPELL=direvent
         VERSION=5.0
          SOURCE=$SPELL-$VERSION.tar.gz
         SOURCE2=$SOURCE.sig
SOURCE_DIRECTORY=$BUILD_DIRECTORY/$SPELL-$VERSION
   SOURCE_URL[0]=$GNU_URL/$SPELL/$SOURCE
  SOURCE2_URL[0]=$GNU_URL/$SPELL/$SOURCE2
      SOURCE_GPG=gnu.gpg:$SOURCE2:VERIFIED_UPSTREAM_KEY
  SOURCE2_IGNORE=signature
        WEB_SITE=http://www.gnu.org/software/direvent/
         ENTERED=20140907
      LICENSE[0]=GPL
           SHORT="directory event monitoring daemon"
cat << EOF
GNU Direvent monitors events in the file system directories. For each event
that occurs in a set of pre-configured directories, the program calls
an external program associated with it, supplying it with the information about
the event and the location within the file system where it occured.
EOF
