summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2014-06-22 20:37:11 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2014-06-22 20:37:11 +0000
commit40e845cc6bc818736c556c34417482ded69b00a1 (patch)
tree8e2cf7e6edf54c332750e734fe378ceb4b82d3a4 /doc
parent885cd2a15c2333e6db0390d80a1545fee24f53b1 (diff)
downloadmpfr-40e845cc6bc818736c556c34417482ded69b00a1.tar.gz
Updated URL's.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9081 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'doc')
-rw-r--r--doc/README.dev2
-rw-r--r--doc/mpfr.texi4
2 files changed, 3 insertions, 3 deletions
diff --git a/doc/README.dev b/doc/README.dev
index 4adb713ca..c3326c2d4 100644
--- a/doc/README.dev
+++ b/doc/README.dev
@@ -810,7 +810,7 @@ be difficult when it is in some macro expansion. For GCC users, a new
experimental -ftrack-macro-expansion option has been added in GCC 4.7.
"It allows the compiler to emit diagnostic about the current macro
expansion stack when a compilation error occurs in a macro expansion."
-<http://gcc.gnu.org/gcc-4.7/changes.html>
+<https://gcc.gnu.org/gcc-4.7/changes.html>
===========================================================================
diff --git a/doc/mpfr.texi b/doc/mpfr.texi
index 4efa8f9e2..5865752a8 100644
--- a/doc/mpfr.texi
+++ b/doc/mpfr.texi
@@ -13,7 +13,7 @@
@c Note: avoid using non-ASCII characters directly when possible,
@c as the "info" utility cannot currently handle them.
-@c http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=212549
+@c https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=212549
@copying
This manual documents how to install and use the Multiple Precision
@@ -603,7 +603,7 @@ gcc myprogram.c -lmpfr -lgmp
MPFR is built using Libtool and an application can use that to link if
desired, @MPFRpxreftop{libtool.info, GNU Libtool}
@c Note: the .info extension has been added to avoid the following bug:
-@c http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=484740
+@c https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=484740
@c which occurs when reading the info file from the build directory:
@c info ./mpfr or info -f ./mpfr.info
@c Due to a poor design, the "info" utility will not find the correct