diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-05-31 14:37:04 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-05-31 14:37:04 +0000 |
| commit | 190d518cec82c4d3c790d2b0a2100a427da66b3b (patch) | |
| tree | 61983878f9b058c1bcca2f977d3bacd0e3524805 /tools/update-version | |
| parent | c1b283a6fbb327fb6cb521e6188df2120ce5126c (diff) | |
| download | mpfr-190d518cec82c4d3c790d2b0a2100a427da66b3b.tar.gz | |
Updated mpfr.org URL's to use https (except in ChangeLog and NEWS).
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12740 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools/update-version')
| -rwxr-xr-x | tools/update-version | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/update-version b/tools/update-version index 59c289638..9a556dc08 100755 --- a/tools/update-version +++ b/tools/update-version @@ -47,7 +47,7 @@ echo $full > VERSION if [ $# -lt 5 ]; then # Up to 4 arguments... - u="http://www.mpfr.org/mpfr-" + u="https://www.mpfr.org/mpfr-" replace "s/(?<=\@set VERSION ).*/$full/" doc/mpfr.texi replace "s,MPFR [\d.]+( web page \@url\{$u)[\d.]+/,MPFR $vers\${1}$vers/," \ doc/mpfr.texi |