diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2015-06-19 22:57:07 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2015-06-19 22:57:07 +0000 |
| commit | 49ee621bfc2e6e7e45be0df681b17610d85ee981 (patch) | |
| tree | dc7ef48b93fdf4a10e336c940c57723adbf4fcb6 | |
| parent | ac5bb3e86b9cdf3ea8334039fbe239a9d18fbfc4 (diff) | |
| download | mpfr-49ee621bfc2e6e7e45be0df681b17610d85ee981.tar.gz | |
[tools/announce-text] Update due to recent InriaForge upgrade.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9588 280ebfd0-de03-0410-8827-d642c229c3f4
| -rwxr-xr-x | tools/announce-text | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tools/announce-text b/tools/announce-text index c91a0ddf4..2bab489ab 100755 --- a/tools/announce-text +++ b/tools/announce-text @@ -84,8 +84,9 @@ if [ -z "$nogforge" ]; then echo "Comparing with InriaForge..." >&2 gforge="https://gforge.inria.fr" wget -O files.html "$gforge/frs/?group_id=136" - for i in $(sed -n "s/.*href=\"\([^\"]*mpfr-$vers\.[^\"]*[^c]\)\".*/\1/p" \ - files.html) + for i in \ + $(sed -n "s/.*href=\"\([^\"]*mpfr-$vers\.[^\"]*[^c]\)\">mpfr-.*/\1/p" \ + files.html) do wget "$gforge$i" done |