diff options
Diffstat (limited to 'doc/pdfgrep/DETAILS')
| -rwxr-xr-x | doc/pdfgrep/DETAILS | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/pdfgrep/DETAILS b/doc/pdfgrep/DETAILS index 03cd3a5927..a023ae8858 100755 --- a/doc/pdfgrep/DETAILS +++ b/doc/pdfgrep/DETAILS @@ -1,7 +1,7 @@ SPELL=pdfgrep VERSION=1.3.0 SOURCE="${SPELL}-${VERSION}.tar.gz" - SOURCE_URL[0]=$SOURCEFORGE_URL/project/${SPELL}/${VERSION}/${SOURCE} + SOURCE_URL[0]=http://downloads.sourceforge.net/sourceforge/project/${SPELL}/${VERSION}/${SOURCE} SOURCE_HASH=sha512:3555ac28685ddfaf9ea6c172aafbc251c0d622caa1c6f98e89c2fae1800e7299d97d3fa5497414f880235fba93963ec00fcea4ff199831abed5817f39ea318ca SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}" WEB_SITE="http://pdfgrep.sourceforge.net" |