diff options
Diffstat (limited to 'doc/miscfiles/DETAILS')
-rwxr-xr-x | doc/miscfiles/DETAILS | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/miscfiles/DETAILS b/doc/miscfiles/DETAILS index 3870f1212d..660355e6fd 100755 --- a/doc/miscfiles/DETAILS +++ b/doc/miscfiles/DETAILS @@ -1,9 +1,12 @@ SPELL=miscfiles VERSION=1.4.2 SOURCE=$SPELL-$VERSION.tar.gz + SOURCE2=$SOURCE.sig SOURCE_DIRECTORY=$BUILD_DIRECTORY/$SPELL-$VERSION SOURCE_URL[0]=$GNU_URL/$SPELL/$SOURCE - SOURCE_HASH=sha512:e5cfdb82d9f8901016daff874efce0616bfaaae12cc3587b6bf950df2bd19fa80f2286f69e10ddbb413d5bc632bf91e4165b0187f8cfb5a0d98882ac9b2cccc2 + SOURCE2_URL[0]=${SOURCE_URL[0]}.sig + SOURCE_GPG=913797E7.gpg:$SOURCE2:UPSTREAM_KEY + SOURCE2_IGNORE=signature WEB_SITE=http://www.gnu.org ENTERED=20020525 LICENSE=GLP |