diff options
Diffstat (limited to 'doc/source-highlight/DETAILS')
| -rwxr-xr-x | doc/source-highlight/DETAILS | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/source-highlight/DETAILS b/doc/source-highlight/DETAILS index 636312215e..4c51ec5ba2 100755 --- a/doc/source-highlight/DETAILS +++ b/doc/source-highlight/DETAILS @@ -1,9 +1,12 @@ SPELL=source-highlight VERSION=1.11 SOURCE=${SPELL}-${VERSION}.tar.gz + SOURCE2=$SOURCE.sig SOURCE_DIRECTORY=${BUILD_DIRECTORY}/${SPELL}-${VERSION} SOURCE_URL[0]=${GNU_URL}/src-highlite/${SOURCE} - SOURCE_HASH=sha512:6ca251ffe9ecd99d08f7830d61c9429cf1d648e72e8d5b1af8703368a7099a86936edac64b56db3245ee7b30e5dd50fa57e7a9890ec71cbb255e2cfa531d1a2e + SOURCE2_URL[0]=${SOURCE_URL[0]}.sig + SOURCE_GPG=9E629EAC.gpg:$SOURCE2:UPSTREAM_KEY + SOURCE2_IGNORE=signature WEB_SITE=http://www.gnu.org/software/src-highlite/ ENTERED=20041226 LICENSE[0]=GPL |